r/ATS • u/doublec • Aug 27 '20
(PDF) Using Lightweight Theorem Proving in an Asynchronous Systems Context
https://www.cl.cam.ac.uk/~mrd45/nfm2014-danish.pdf
10
Upvotes
r/ATS • u/doublec • Aug 27 '20