Leveraging Applications of Formal Methods, Verification and Validation - Tiziana Margaria, Bernhard Steffen; Margaria, Tiziana; Steffen, Bernhard (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering