Skip to main content

Consistent and Complementary Formal Theories of the Semantics of Programming Languages

C.A.R. Hoare and P.E. Lauer

Journal
Acta Informatica
Number
2
Pages
135–153
Volume
3
Year
1974