@BOOK{ Book!D - 90081332,
AUTHOR = " Marco Bernardo, Paola Inverardi (eds.).",
TITLE = "Formal methods for software architectures :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.",
URL = "/book/90081332/Formal-methods-for-software-architectures/"}