Final published version
Licence: Unspecified
Research output: Exhibits, objects and web-based outputs › Web publication/site
Research output: Exhibits, objects and web-based outputs › Web publication/site
}
TY - ADVS
T1 - Supporting Cybersecurity through Faultless Programming: A Guide to Dafny
AU - Weir, Charles
AU - Noble, James
AU - Greyling, Ellen
PY - 2024/12/10
Y1 - 2024/12/10
N2 - News article for the Lancaster University Faculty of Science and Technology (FST) news about our recent Dafny paper.
AB - News article for the Lancaster University Faculty of Science and Technology (FST) news about our recent Dafny paper.
M3 - Web publication/site
ER -