A Theory of Conjunction and Concurrency

Bibliografske podrobnosti
Glavni avtor: Hoare, C
Format: Conference item
Izdano: 1990