Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. Domain-Specific Scenarios for Refinement-Based Methods. In J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout, editors, New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. Volume 1085 of Communications in Computer and Information Science, pages 18-31, Springer, 2019. [doi]
Abstract is missing.