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

Author: Jordi Levy
University:
Advisor: Jaume Agustí-Cullell
Year: 1994
Abstract: