@BOOK{ Book!D - 90119949,
AUTHOR = " edited by H.K. Berg, W.K. Giloi.",
TITLE = "The Use of Formal Specification of Software : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science.,Software engineering.",
URL = "/book/90119949/The-Use-of-Formal-Specification-of-Software/"}