%0 Conference Paper %1 conf/secdev/BrosgolDM19 %A Brosgol, Benjamin M. %A Dross, Claire %A Moy, Yannick %B SecDev %D 2019 %I IEEE %K dblp %P 1-2 %T Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. %U http://dblp.uni-trier.de/db/conf/secdev/secdev2019.html#BrosgolDM19 %@ 978-1-5386-7289-1

@inproceedings{conf/secdev/BrosgolDM19, added-at = {2019-11-27T00:00:00.000+0100}, author = {Brosgol, Benjamin M. and Dross, Claire and Moy, Yannick}, biburl = {https://www.bibsonomy.org/bibtex/2953c44d956a79002d79769ff27f27e2a/dblp}, booktitle = {SecDev}, crossref = {conf/secdev/2019}, ee = {https://doi.org/10.1109/SecDev.2019.00012}, interhash = {1b31e112139ef1b0e912d73b15363607}, intrahash = {953c44d956a79002d79769ff27f27e2a}, isbn = {978-1-5386-7289-1}, keywords = {dblp}, pages = {1-2}, publisher = {IEEE}, timestamp = {2019-11-28T11:39:43.000+0100}, title = {Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.}, url = {http://dblp.uni-trier.de/db/conf/secdev/secdev2019.html#BrosgolDM19}, year = 2019 }