Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Liu, Zhiming., He, Jifeng.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture Notes in Computer Science, 4260
Subjects:
Online Access: http://dx.doi.org/10.1007/11901433
Tags: Add Tag
No Tags, Be the first to tag this record!