@BOOK{ Book!D - 90107450,
AUTHOR = " Jeannette M. Wing ... (ed.).",
TITLE = "FM '99 - formal methods / 2.",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "",
URL = "/book/90107450/FM-99-formal-methods-2/"}