The use of formal program design methods
✍
Peter Smith; Barrie Thompson
📂
Article
📅
1988
🏛
Elsevier Science
⚖ 900 KB