Supporting Cybersecurity through Faultless Programming: A Guide to Dafny - Research Portal | Lancaster University

Home > Research > Publications & Outputs > Supporting Cybersecurity through Faultless Prog...

Links

https://www.lancaster.ac.uk/sci-tech/about-us/news/supporting-cybersecurity-through-faultless-programming-a-guide-to-dafny
Final published version
Licence: Unspecified

View graph of relations

Supporting Cybersecurity through Faultless Programming: A Guide to Dafny

Research output: Exhibits, objects and web-based outputs › Web publication/site

Published

Publication date	10/12/2024
Media of output	Online
<mark>Original language</mark>	English

Abstract

News article for the Lancaster University Faculty of Science and Technology (FST) news about our recent Dafny paper.