发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc Second IEEE International Workshop on Source Code Analysis and Manipulation - Montreal, Que., Canada (1 Oct. 2002)] Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation - Mechanized operational semantics of WSL

[IEEE Comput. Soc Second IEEE International Workshop on Source Code Analysis and Manipulation - Montreal, Que., Canada (1 Oct. 2002)] Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation - Mechanized operational semantics of WSL

Xingyuan Zhang, ; Munro, M.; Harman, M.; Lin Hu,

作者Xingyuan Zhang, ; Munro, M.; Harman, M.; Lin Hu,
文件大小337.56KB
发表时间2002
DOI10.1109/scam.2002.1134107
页码73-82

← 返回【学霸图书馆】主页