Providing Automated Verification in HOL Using MDGs.

Tarek Mhamdi, Sofine Tahar

Browse the full ATVA paper archive.