You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Conference Proceedings
Title:
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