Mike Dodds, Stephen Magill, Aaron Tomb. Tutorial: Continuous Verification of Critical Software. In 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018. pages 128-129, IEEE Computer Society, 2018. [doi]
@inproceedings{DoddsMT18, title = {Tutorial: Continuous Verification of Critical Software}, author = {Mike Dodds and Stephen Magill and Aaron Tomb}, year = {2018}, doi = {10.1109/SecDev.2018.00027}, url = {https://doi.org/10.1109/SecDev.2018.00027}, researchr = {https://researchr.org/publication/DoddsMT18}, cites = {0}, citedby = {0}, pages = {128-129}, booktitle = {2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-7662-2}, }