Formal Methods - Havelund; Bill Roscoe; Erik de Vink; Jan Peleska; de Vink, Erik; Peleska, Jan; Roscoe, Bill (Springer International Publishing, 2018)