A Theory of Conjunction and Concurrency

Dettagli Bibliografici
Autore principale: Hoare, C
Natura: Conference item
Pubblicazione: 1990