Experience with verification of parallel modula programs

Bibliographische Detailangaben

1. Verfasser:	Ma, A. (VerfasserIn)
Weitere Verfasser:	Barnard, D. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1981
Schriftenreihe:	Reports / KINGSTON QUEEN'S UNIV ONTARIO CANADA TR 81-126
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!