A Language for Verification and Manipula
✍
Luigi Liquori; Furio Honsell; Rekha Redamalla
📂
Article
📅
2006
🏛
Elsevier Science
🌐
English
⚖ 260 KB