The Calculus of Refinements, a Formal Specification Model Based on Inclusions

Author:
University: Universitat Politècnica de Catalunya
Advisor:
Year: 1994
Abstract: