Media type: Book Title: Verification and specification of concurrent programs Contributor: Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1991 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9111 Extent: 79 S.; graph. Darst Language: English Origination: Footnote: