A denotational semantics for Handel-C
✍
Andrew Butterfield
📂
Article
📅
2010
🏛
Springer
🌐
English
⚖ 253 KB