%0 Conference Paper %1 conf/issre/BishopBC13 %A Bishop, Peter G. %A Bloomfield, Robin E. %A Cyra, Lukasz %B ISSRE %D 2013 %I IEEE Computer Society %K dblp %P 248-257 %T Combining testing and proof to gain high assurance in software: A case study. %U http://dblp.uni-trier.de/db/conf/issre/issre2013.html#BishopBC13 %@ 978-1-4799-2366-3

@inproceedings{conf/issre/BishopBC13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bishop, Peter G. and Bloomfield, Robin E. and Cyra, Lukasz}, biburl = {https://www.bibsonomy.org/bibtex/2e00fc333205a246daa7abdb774e3c37d/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSRE.2013.6698924}, interhash = {daac959f1666730992b33d1248f1d8ce}, intrahash = {e00fc333205a246daa7abdb774e3c37d}, isbn = {978-1-4799-2366-3}, keywords = {dblp}, pages = {248-257}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:52:25.000+0200}, title = {Combining testing and proof to gain high assurance in software: A case study.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2013.html#BishopBC13}, year = 2013 }