The laws of occam programming

Bibliografiske detaljer
Main Authors: Roscoe, A, Hoare, C
Format: Journal article
Udgivet: 1988