A Framework for Translating Models and Specifications.

Shmuel Katz, Orna Grumberg

Browse the full IFM paper archive.