Magnus Ahmad

1 talk by Magnus Ahmad

• Squash All the Bugs with Omniscience & Formal Verification