Active
Recent
Comments
Search
Login
Login
13
How much is a mechanized proof worth, certification-wise?
pdf
slides
formalmethods
cl.cam.ac.uk
via
edoput
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0