A graph-based operational semantics of OO programs
- Wei Ke
- , Zhiming Liu
- , Shuling Wang
- , Liang Zhao
- Beihang University
- United Nations University Institute in Macau
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
11
Citations
(Scopus)