Home > Research > Publications & Outputs > Supporting Cybersecurity through Faultless Prog...
View graph of relations

Supporting Cybersecurity through Faultless Programming: A Guide to Dafny

Research output: Exhibits, objects and web-based outputsWeb publication/site

Published

Standard

Supporting Cybersecurity through Faultless Programming: A Guide to Dafny. Weir, Charles (Author); Noble, James (Author); Greyling, Ellen (Author). 2024.

Research output: Exhibits, objects and web-based outputsWeb publication/site

Harvard

APA

Vancouver

Author

Bibtex

@misc{8be66798c258475fbf007d8ad5224722,
title = "Supporting Cybersecurity through Faultless Programming: A Guide to Dafny",
abstract = "News article for the Lancaster University Faculty of Science and Technology (FST) news about our recent Dafny paper.",
author = "Charles Weir and James Noble and Ellen Greyling",
year = "2024",
month = dec,
day = "10",
language = "English",

}

RIS

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 -