| user: | Thom2503 |
| created: | August 1, 2021 |
| karma: | 88 |
| about: | Software development student/part-timer in the Netherlands.
Interested in programming languages and computer science.
Listens to a lot of music. thomveldhuis.xyz |
| 1. | Why Don't People Use Formal Methods? (2019)(hillelwayne.com) |
| 2. | |
| 3. | |
| 4. | Formal Reasoning [pdf](cs.ru.nl) |