Formal Methods: Practice and Experience. (2009)

by J Woodcock, P G Larsen, J Bicarregui, J Fitzgerald
Venue:ACM Computing Surveys,