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

Gespeichert in:
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!
Beschreibung
Beschreibung:Enthält Beiträge des "Software verification (SVT) track of the ACM Symposium on Applied Computing" - Vorwort
"The 30th ACM Symposium on Applied Computing, held in Salamanca, Spain on April 13-17, 2015" - Vorwort
Literaturangaben
Beschreibung:Seite 141-246
Illustrationen