%0 Conference Paper %1 conf/jtres/SchmittTWJLH06 %A Schmitt, Peter H. %A Tonin, Isabel %A Wonnemann, Claus %A Jenn, Eric %A Leriche, Stéphane %A Hunt, James J. %B JTRES %D 2006 %E Richard-Foy, Marc %I ACM %K dblp %P 107-116 %T A case study of specification and verification using JML in an avionics application. %U http://dblp.uni-trier.de/db/conf/jtres/jtres2006.html#SchmittTWJLH06

@inproceedings{conf/jtres/SchmittTWJLH06, added-at = {2022-01-28T00:00:00.000+0100}, author = {Schmitt, Peter H. and Tonin, Isabel and Wonnemann, Claus and Jenn, Eric and Leriche, Stéphane and Hunt, James J.}, biburl = {https://www.bibsonomy.org/bibtex/24fff59b0027bc5b6eaa2aca98fdd6b7c/dblp}, booktitle = {JTRES}, crossref = {conf/jtres/2006}, editor = {Richard-Foy, Marc}, ee = {https://doi.org/10.1145/1167999.1168018}, interhash = {c015776059f22acee68e2c9e1b56027d}, intrahash = {4fff59b0027bc5b6eaa2aca98fdd6b7c}, keywords = {dblp}, pages = {107-116}, publisher = {ACM}, timestamp = {2024-04-09T19:36:43.000+0200}, title = {A case study of specification and verification using JML in an avionics application.}, url = {http://dblp.uni-trier.de/db/conf/jtres/jtres2006.html#SchmittTWJLH06}, year = 2006 }