Press/Media: Newspaper Article
| Title | Supporting cybersecurity through faultless programming: A guide to Dafny |
|---|---|
| Degree of recognition | Local |
| Primary Media type | Web |
| Country/Territory | United Kingdom |
| Date | 10/12/24 |
| Producer/Author | FST Research and Engagement Team |
| Persons | Ellen Greyling, Charles Weir, James Noble |