Building an Extensible Textual Framework for the Rodin Platform.

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

Browse the full SEFM paper archive.