Login / Signup

Axiomatic Equivalence of Programs with Structured Variables

Christoph M. HoffmannLawrence H. Landweber
Published in: SWAT (1974)
Keyphrases