TY - GEN
AU - CSTVA 7. 2016 Saarbrücken
AU - Tripp, Omer
AU - Wintersteiger, Christoph M.
TI - 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
PB - RWTH Aachen
KW - Konferenzschrift
PY - [2016]
N2 - Literaturangaben
BT - CEUR workshop proceedings ; vol-1639
CY - Aachen, Germany
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation