Formal Methods and Software Engineering
Subtitle: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
Number of pages: 712
ISBN-13: 9783642169014