Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA
Looking for Missed Alarm Bugs in a Formal Verification Tool
| blog.regehr.org
