Providing automated verification in HOL using MDGs (2004)

by T Mhamdi, S Tahar
Venue:In Automated Technology for Verification and Analysis