A compositional proof system for an occam-like real-time language

J.J.M. Hooman

Onderzoeksoutput: Boek/rapportRapportAcademic

52 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's57
StatusGepubliceerd - 1987

Publicatie series

NaamComputing science notes
Volume8714

Citeer dit