%0 Conference Paper %1 conf/nfm/CalcagnoDDGHLOP15 %A Calcagno, Cristiano %A Distefano, Dino %A Dubreil, Jérémy %A Gabi, Dominik %A Hooimeijer, Pieter %A Luca, Martino %A O'Hearn, Peter W. %A Papakonstantinou, Irene %A Purbrick, Jim %A Rodriguez, Dulma %B NFM %D 2015 %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K %P 3-11 %T Moving Fast with Software Verification. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#CalcagnoDDGHLOP15 %V 9058 %@ 978-3-319-17523-2

@inproceedings{conf/nfm/CalcagnoDDGHLOP15, added-at = {2023-12-13T00:30:41.000+0100}, author = {Calcagno, Cristiano and Distefano, Dino and Dubreil, Jérémy and Gabi, Dominik and Hooimeijer, Pieter and Luca, Martino and O'Hearn, Peter W. and Papakonstantinou, Irene and Purbrick, Jim and Rodriguez, Dulma}, biburl = {https://www.bibsonomy.org/bibtex/24167de3541c3eb2f119f56baf9a0a867/admin}, booktitle = {NFM}, crossref = {conf/nfm/2015}, editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://www.wikidata.org/entity/Q59410749}, interhash = {6462031082cc05cf50f71833dde28388}, intrahash = {4167de3541c3eb2f119f56baf9a0a867}, isbn = {978-3-319-17523-2}, keywords = {}, pages = {3-11}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:30:41.000+0100}, title = {Moving Fast with Software Verification.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#CalcagnoDDGHLOP15}, volume = 9058, year = 2015 }