The quest for compositionality a survey of assertion-based proof systems for concurrent programs

Bibliographische Detailangaben

1. Verfasser:	Roever, Willem P. de (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Utrecht Dept., Univ.
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!