Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
blog.regehr.org
(Uncensored)
subscribe
Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA
https://blog.regehr.org/
links
backlinks
Looking for Missed Alarm Bugs in a Formal Verification Tool
