Journal article
Refinement and Development of Programs from Relational Specifications
Abstract
These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.
Authors
Kahl W
Journal
Electronic Notes in Theoretical Computer Science, Vol. 44, No. 3, pp. 51–93
Publisher
Elsevier
Publication Date
5 2003
DOI
10.1016/s1571-0661(04)80932-0
ISSN
1571-0661