Special issue on software verification and testing (SAC-SVT'15)

Bibliographische Detailangaben

Körperschaft:	Annual ACM Symposium on Applied Computing (VerfasserIn)
Weitere Verfasser:	Salaün, Gwen (HerausgeberIn), Stoelinga, Marie͏̈lle (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2016
Schriftenreihe:	Science of computer programming volume 132, part 2 (15 December 2016)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!