A graph-based operational semantics of OO programs
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
研究成果: Conference contribution › 同行評審
11
引文
斯高帕斯(Scopus)