Formal Methods and Software Engineering [E-Book] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu.
Dong, Jin Song.
Zhu, Huibiao.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
online resource
englisch
9783642169014
Lecture notes in computer science ; 6447
Full Text
Description not available.