Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Opis bibliograficzny
Główni autorzy: Hoare, C, Lauer, P
Format: Journal article
Wydane: 1974