Structured Object-Oriented Formal Language And Method : 11th International Workshop, Sofl+Msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language And Method : 7th International Workshop, Sofl+Msvl 2017, Xi'an, China, November 16, 2017, Revised Selected Papers