Formal proof systems for program equivalence

DSpace/Manakin Repository

Bergstra, J.A.; Klop, J.W.

(1983) Formal Description of Programming Concepts - II, pp. 289 - 302

(Part of book or chapter of book)

Download/Full Text

Publisher: North-Holland Publishing Company

See more statistics about this item