An Operational Semantics for Handel-C
✍
Andrew Butterfield; Jim Woodcock
📂
Article
📅
2003
🏛
Elsevier Science
🌐
English
⚖ 189 KB