Formal Methods and Software Engineering
Subtitle: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642103735