Refinement and Development of Programs f
✍
Wolfram Kahl
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 357 KB
These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.