%0 Conference Paper %1 conf/facs2/NielsonNV12 %A Nielson, Hanne Riis %A Nielson, Flemming %A Vigo, Roberto %B FACS %D 2012 %E Pasareanu, Corina S. %E Salaün, Gwen %I Springer %K %P 188-204 %T A Calculus for Quality. %U http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#NielsonNV12 %V 7684 %@ 978-3-642-35861-6

@inproceedings{conf/facs2/NielsonNV12, added-at = {2023-12-13T10:47:31.000+0100}, author = {Nielson, Hanne Riis and Nielson, Flemming and Vigo, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2c50707f9118b3000fb50e3591c3e8d29/admin}, booktitle = {FACS}, crossref = {conf/facs2/2012}, editor = {Pasareanu, Corina S. and Salaün, Gwen}, ee = {https://www.wikidata.org/entity/Q59416313}, interhash = {daeddb664a9cdebbe42477c01a17a3eb}, intrahash = {c50707f9118b3000fb50e3591c3e8d29}, isbn = {978-3-642-35861-6}, keywords = {}, pages = {188-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:47:31.000+0100}, title = {A Calculus for Quality.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#NielsonNV12}, volume = 7684, year = 2012 }