Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Calinescu, Radu Heftet / 2015 / Engelsk
Foundations of Computer Software Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers Calinescu, Radu Heftet / 2011 / Engelsk
Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers Calinescu, Radu Heftet / 2012 / Engelsk
Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings Calinescu, Radu Heftet / 2021 / Engelsk
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings Calinescu, Radu Heftet / 2019 / Engelsk
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers Bianculli, Domenico Heftet / 2016 / Engelsk
