@BOOK{ Book!D - 101373801,
AUTHOR = "Bernhard Moller, Helmut Partsch, Steve Schuman, )eds.(",
TITLE = "Formal program development : IFIP TC 2/WG 2.1 state of the art report",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Computer software -- Development,، Computer programming",
URL = "/book/101373801/Formal-program-development-IFIP-TC-2WG-21-stat/"}