Software Engineering and Formal Methods - Giannakopoulou; Salaün, Gwen (Springer International Publishing, 2014)