%0 Conference Paper %1 conf/icalp/AlmagorBK13 %A Almagor, Shaull %A Boker, Udi %A Kupferman, Orna %B ICALP (2) %D 2013 %E Fomin, Fedor V. %E Freivalds, Rusins %E Kwiatkowska, Marta Z. %E Peleg, David %I Springer %K dblp %P 15-27 %T Formalizing and Reasoning about Quality. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2013-2.html#AlmagorBK13 %V 7966 %@ 978-3-642-39211-5

@inproceedings{conf/icalp/AlmagorBK13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Almagor, Shaull and Boker, Udi and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/23be305408af0349b16ebf21351f23b03/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2013-2}, editor = {Fomin, Fedor V. and Freivalds, Rusins and Kwiatkowska, Marta Z. and Peleg, David}, ee = {https://doi.org/10.1007/978-3-642-39212-2_3}, interhash = {12f64650efc0fc2ff639468410285593}, intrahash = {3be305408af0349b16ebf21351f23b03}, isbn = {978-3-642-39211-5}, keywords = {dblp}, pages = {15-27}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:37.000+0200}, title = {Formalizing and Reasoning about Quality.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2013-2.html#AlmagorBK13}, volume = 7966, year = 2013 }