Compositional operational semantics for
✍
M. H. M. Cheng; R. N. Horspool; M. R. Levy; M. H. van Emden
📂
Article
📅
1992
🏛
Springer
🌐
English
⚖ 635 KB