Formal languages and analysis of contract-oriented software (FLACOS'07) [1st Workshop on Formal Languages and Analysis of Contract-Oriented Software, held in Oslo, Norway, 9 - 10 October 2007]

Bibliographische Detailangaben

Weitere Verfasser:	Owe, Olaf (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2009
Schriftenreihe:	The journal of logic and algebraic programming Special issue 78.2009,5
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!