ZRC – A Refinement Calculus for Z
✍
Ana Cavalcanti; Jim Woodcock
📂
Article
📅
1998
🏛
Springer
🌐
English
⚖ 149 KB