Formal Methods: State of the Art and New Directions - Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed (Springer London, 2010)
Keywords: Information Technology -- Software Engineering