Constraint solvers in testing, verification, and analysis: CSTVA 2016 : proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis, co-located with the International Symposium on Software Testing and Analysis (ISSTA 2016) : Saarbrücken, Germany, July 17th, 2016

Medientyp: E-Book; Konferenzbericht
Titel: Constraint solvers in testing, verification, and analysis : CSTVA 2016 : proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis, co-located with the International Symposium on Software Testing and Analysis (ISSTA 2016) : Saarbrücken, Germany, July 17th, 2016
Beteiligte: Tripp, Omer [HerausgeberIn]; Wintersteiger, Christoph M. [HerausgeberIn]
Erschienen: Aachen, Germany: RWTH Aachen, [2016]
Erschienen in: CEUR workshop proceedings ; 163900
Umfang: 1 Online-Ressource
Sprache: Englisch
Identifikator:

Nur in Feld suchen: