Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations

D. Sannella,A. Tarlecki
DOI: https://doi.org/10.1007/3-540-55719-9_112
1992-07-13
Abstract:
What problem does this paper attempt to address?