Benjamin M. Brosgol, Claire Dross, Yannick Moy. Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK. In 2019 IEEE Cybersecurity Development, SecDev 2019, Tysons Corner, VA, USA, September 23-25, 2019. pages 1-2, IEEE, 2019. [doi]
@inproceedings{BrosgolDM19,
title = {Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK},
author = {Benjamin M. Brosgol and Claire Dross and Yannick Moy},
year = {2019},
doi = {10.1109/SecDev.2019.00012},
url = {https://doi.org/10.1109/SecDev.2019.00012},
researchr = {https://researchr.org/publication/BrosgolDM19},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {2019 IEEE Cybersecurity Development, SecDev 2019, Tysons Corner, VA, USA, September 23-25, 2019},
publisher = {IEEE},
isbn = {978-1-5386-7289-1},
}