Mechanizing UNITY in Isabelle

by Lawrence C. Paulson
Venue:ACM Transactions on Computational Logic
Citations:25 - 6 self