Digital, Data & Policy

Skip to content

Menu

Home
Publications
Talks
Media
GitHub
GPG
Contact
About

Tag: Formal methods

by Tom
Posted on 19 March 20211 May 2021

Paper on formal methods and cybersecurity education from FMFun 2019

Search this blog

Search for:

Archives

Archives

Subscribe to this blog

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Email Address:

@ProfTomCrick on Twitter

Bad science Computer science CS education Data Education Higher education Mathematics Meta Miscellany Policy Public engagement Research Software Technology

Website Powered by WordPress.com.

Follow Following
- Digital, Data & Policy
- Already have a WordPress.com account? Log in now.