TY - BOOK AU - Farhad Arbab, Marjan Sirjani TI - Fundamentals of Software Engineering SN - 978-3-642-40213-5 PY - 2013/// CY - New York PB - Springer US KW - Computer Science KW - Logics and Meanings of Programs; Software Engineering ER -