Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi, editors, Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM, 2019. [doi]
Conference: ICSE2019
No references recorded for this publication.
No citations of this publication recorded.