Formal Methods and Software EngineeringKung-Kiu Lau, Richard Banach · First published 2005Open the Tome