%0 Conference Paper %1 conf/atva/BozzanoCMT14 %A Bozzano, Marco %A Cimatti, Alessandro %A Mattarei, Cristian %A Tonetta, Stefano %B ATVA %D 2014 %E Cassez, Franck %E Raskin, Jean-François %I Springer %K dblp %P 81-97 %T Formal Safety Assessment via Contract-Based Design. %U http://dblp.uni-trier.de/db/conf/atva/atva2014.html#BozzanoCMT14 %V 8837 %@ 978-3-319-11935-9

@inproceedings{conf/atva/BozzanoCMT14, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bozzano, Marco and Cimatti, Alessandro and Mattarei, Cristian and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/244945df549ea3c64593e0f032fea07df/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2014}, editor = {Cassez, Franck and Raskin, Jean-François}, ee = {https://www.wikidata.org/entity/Q62041144}, interhash = {0887549b50511181fa959025badc3765}, intrahash = {44945df549ea3c64593e0f032fea07df}, isbn = {978-3-319-11935-9}, keywords = {dblp}, pages = {81-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:26:42.000+0200}, title = {Formal Safety Assessment via Contract-Based Design.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2014.html#BozzanoCMT14}, volume = 8837, year = 2014 }