Luke Marzen
Blog
Search
Tags
About
Tags
engineering
1
formal methods
1
keyboards
1
minimalism
1
promela
1
spin
1
verification
1