%0 Conference Paper %1 conf/nfm/BeltHRCHD11 %A Belt, Jason %A Hatcliff, John %A Robby, %A Chalin, Patrice %A Hardin, David S. %A Deng, Xianghua %B NASA Formal Methods %D 2011 %E Bobaru, Mihaela Gheorghiu %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 58-72 %T Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#BeltHRCHD11 %V 6617 %@ 978-3-642-20397-8

@inproceedings{conf/nfm/BeltHRCHD11, added-at = {2021-11-16T00:00:00.000+0100}, author = {Belt, Jason and Hatcliff, John and Robby and Chalin, Patrice and Hardin, David S. and Deng, Xianghua}, biburl = {https://www.bibsonomy.org/bibtex/240d6be576dff39159480e8aa103ce1f0/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2011}, editor = {Bobaru, Mihaela Gheorghiu and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-642-20398-5_6}, interhash = {3e49d2eb1761e82ba113bc3f60084122}, intrahash = {40d6be576dff39159480e8aa103ce1f0}, isbn = {978-3-642-20397-8}, keywords = {dblp}, pages = {58-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:03:45.000+0200}, title = {Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2011.html#BeltHRCHD11}, volume = 6617, year = 2011 }