Towards verification of computer codes f
✍
Alexander Nies
📂
Article
📅
1993
🏛
Elsevier Science
🌐
English
⚖ 888 KB