1983
Formal proof systems for program equivalence
Publication
Publication
Presented at the
IFIP WG 2.2. Formal Description of Programming Concepts, Garmisch-Partenkirchen, Germany
Additional Metadata | |
---|---|
, | |
North-Holland (Amsterdam) | |
IFIP WG 2.2. Formal Description of Programming Concepts | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1983). Formal proof systems for program equivalence. In Formal Description of Programming Concepts II (pp. 289–303). North-Holland (Amsterdam). |