Formal Methods and Software Engineering
Subtitle: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Publisher: Springer London, Limited
Published: 2008
Language: eng
ISBN-13: 9783540881940