Sudipto Ghosh Models in Software Engineering - 2010 ISBN: 978-3-642-12261-3 Subjects--Topical Terms: Logics and Meanings of ProgramsManagement of Computing and Information SystemsSoftware EngineeringSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science