DMCA

Mechanised separation algebra (2012)

by Gerwin Klein , Rafal Kolanski , Andrew Boyton
Venue:Interactive Theorem Proving (ITP 2012), LNCS
Citations:6 - 2 self