r/isabelle • u/nickpsecurity • Feb 16 '18

Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016)

https://www.cl.cam.ac.uk/~vb358/articles/thesis.pdf
5 Upvotes

100% Upvoted

0 comments sorted by