Refinable Record Structures in Formal Methods.

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

Browse the full MEDI paper archive.