Formal Methods and Software Engineering
Subtitle: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540766506