Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Bibliografski detalji
Glavni autori: Hoare, C, Lauer, P
Format: Journal article
Izdano: 1974