Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. Refinable Record Structures in Formal Methods. In Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain, editors, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Volume 1481 of Communications in Computer and Information Science, pages 3-15, Springer, 2021. [doi]
Abstract is missing.