Using Abstraction in the Verification of Simulation Coercion.

Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan

Browse the full PADS paper archive.