Z—An introduction to formal methods (2nd
✍
Julian Rose
📂
Article
📅
1995
🏛
Elsevier Science
🌐
English
⚖ 429 KB