@BOOK{ Book!D - 89948483,
AUTHOR = " edited by Tiziana Margaria, Bernhard Steffen.",
TITLE = "Leveraging Applications of Formal Methods, Verification and Validation",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science.,Computer simulation.,Computer system performance.,Software engineering.",
URL = "/book/89948483/Leveraging-Applications-of-Formal-Methods-Verific/"}