[IEEE 2009 International Conference on Computational Intelligence and Software Engineering - Wuhan, China (2009.12.11-2009.12.13)] 2009 International Conference on Computational Intelligence and Software Engineering - Transform Mechanisms of Object-Z Based Formal Specification to JAVA
Wang, Zhigang, Xie, Maofang, Wang, Zhigang, Zhao, YuelongYear:
2009
Language:
english
DOI:
10.1109/cise.2009.5365403
File:
PDF, 428 KB
english, 2009