Automatic Generation of Quality Specifications
Shaull Almagor‚ Guy Avni and Orna Kupferman
Book Title
Computer Aided Verification − 25th International Conference‚ CAV 2013‚ Saint Petersburg‚ Russia‚ July 13−19‚ 2013. Proceedings
Editor
Natasha Sharygina and Helmut Veith
ISBN
978−3−642−39798−1
Pages
479–494
Series
Lecture Notes in Computer Science
Volume
8044
Year
2013