External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing and Implementing Types in MSVL

Xiaobing Wang, Zhenhua Duan, Liang Zhao. Formalizing and Implementing Types in MSVL. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers. Volume 8332 of Lecture Notes in Computer Science, pages 62-75, Springer, 2013. [doi]

Authors

Xiaobing Wang

This author has not been identified. Look up 'Xiaobing Wang' in Google

Zhenhua Duan

This author has not been identified. Look up 'Zhenhua Duan' in Google

Liang Zhao

This author has not been identified. Look up 'Liang Zhao' in Google
runs on