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

Research

Links

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

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 outputs › Web publication/site

Harvard

Weir, C, Noble, J & Greyling, E, Supporting Cybersecurity through Faultless Programming: A Guide to Dafny, 2024, Web publication/site. <https://www.lancaster.ac.uk/sci-tech/about-us/news/supporting-cybersecurity-through-faultless-programming-a-guide-to-dafny>

APA

Weir, C., Noble, J., & Greyling, E. (2024). Supporting Cybersecurity through Faultless Programming: A Guide to Dafny. Web publication/site https://www.lancaster.ac.uk/sci-tech/about-us/news/supporting-cybersecurity-through-faultless-programming-a-guide-to-dafny

Vancouver

Weir C, Noble J, Greyling E. Supporting Cybersecurity through Faultless Programming: A Guide to Dafny 2024.

Author

Weir, Charles (Author) ; Noble, James (Author) ; Greyling, Ellen (Author). / Supporting Cybersecurity through Faultless Programming: A Guide to Dafny. [Web publication/site].

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 -