pheras, 1 month ago Formal Methods: Just Good Engineering Practice? by @marcbrooker https://brooker.co.za/blog/2024/04/17/formal.html
Formal Methods: Just Good Engineering Practice? by @marcbrooker
https://brooker.co.za/blog/2024/04/17/formal.html