Software Engineering and Formal Methods - Ã–lveczky; Salaün, Gwen (Springer International Publishing, 2019)