Comment Comment by mark4 Relevant keynote I wrote aboutFormal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote.... parent mark4 5 months ago
Formal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....