Formal specification and documentation o
✍
Jonathan P. Bowen
📂
Article
📅
1987
🏛
Elsevier Science
⚖ 540 KB