Formalizing and Reasoning about Quality
Shaull Almagor‚ Udi Boker and Orna Kupferman
Book Title
Automata‚ Languages‚ and Programming − 40th International Colloquium‚ ICALP 2013‚ Riga‚ Latvia‚ July 8−12‚ 2013‚ Proceedings‚ Part II
Editor
Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg
ISBN
978−3−642−39211−5
Pages
15–27
Series
Lecture Notes in Computer Science
Volume
7966
Year
2013