TítuloThe Calculus of Refinements, a Formal Specification Model Based on Inclusions
Publication TypeThesis
Year of Publication1994
AuthorsLevy J
Academic DepartmentUniversitat Politècnica de Catalunya