The laws of occam programming

書誌詳細
主要な著者: Roscoe, A, Hoare, C
フォーマット: Journal article
出版事項: 1988