Leveraging Applications of Formal Methods, Verification and Validation
Margaria, Tiziana, Steffen, Bernhard
Topics & Concepts
Computer scienceFormal methodsFormal verificationVerificationSoftware engineeringProgramming languageSoftwareSoftware developmentSoftware constructionFormal Methods in Verification