Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Publisher: Springer
Published: 2010
ISBN-13: 9783642103728