%0 Conference Paper %1 conf/safecomp/BertoliCGT98 %A Bertoli, Piergiorgio %A Cimatti, Alessandro %A Giunchiglia, Fausto %A Traverso, Paolo %B SAFECOMP %D 1998 %E Ehrenberger, Wolfgang D. %I Springer %K dblp %P 221-230 %T A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp98.html#BertoliCGT98 %V 1516 %@ 3-540-65110-1

@inproceedings{conf/safecomp/BertoliCGT98, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bertoli, Piergiorgio and Cimatti, Alessandro and Giunchiglia, Fausto and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/289b882ef74545407f9fa6d239350a0bb/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1998}, editor = {Ehrenberger, Wolfgang D.}, ee = {https://www.wikidata.org/entity/Q62041457}, interhash = {689b5c536cef6e1f52f5205933c2e261}, intrahash = {89b882ef74545407f9fa6d239350a0bb}, isbn = {3-540-65110-1}, keywords = {dblp}, pages = {221-230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:26:34.000+0200}, title = {A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp98.html#BertoliCGT98}, volume = 1516, year = 1998 }