Login / Signup

Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.

Klaus Becker
Published in: TAPSOFT (1993)
Keyphrases