Claude Marché, Johannes Kanig. Bridging the Gap between Testing and Formal Verification in Ada Development. ERCIM News, 2015(100), 2015. [doi]
@article{MarcheK15, title = {Bridging the Gap between Testing and Formal Verification in Ada Development}, author = {Claude Marché and Johannes Kanig}, year = {2015}, url = {http://ercim-news.ercim.eu/en100/r-i/bridging-the-gap-between-testing-and-formal-verification-in-ada-development}, researchr = {https://researchr.org/publication/MarcheK15}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2015}, number = {100}, }