“systems I think that's mostly academic. There's like new…” — The Pragmatic Engineer at 59:35
“systems I think that's mostly academic. There's like new SMB which I think NASA's used for a bunch of stuff. I can keep going then of course there's all the this course is only for specifying like abstract models of systems. If you want to talk about verifying code then you've got things like”
0:00
1:23:42