Mechanizing UNITY in Isabelle

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