Automatic Verification of a Model Checker by Reflection.

Bow-Yaw Wang

Browse the full PADL paper archive.