Weir, Charles and Noble, James and Greyling, Ellen (2024) Supporting Cybersecurity through Faultless Programming: A Guide to Dafny. UNSPECIFIED.
Full text not available from this repository.Abstract
News article for the Lancaster University Faculty of Science and Technology (FST) news about our recent Dafny paper.
Item Type:
Other
Departments:
ID Code:
227010
Deposited By:
Deposited On:
20 Jan 2025 11:55
Refereed?:
No
Published?:
Published
Last Modified:
20 Jan 2025 11:55