Reusing Formal Models via Lifting.

Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler

Browse the full ICECCS paper archive.