Conference
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Editors
Liu S; Maibaum TSE; Araki K
Series
Lecture Notes in Computer Science
Volume
5256
Publisher
Springer
Publication Date
January 1, 2008
ISBN-13
978-3-540-88193-3
Conference proceedings
ICFEM