Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Publisher: Springer
Published: 2010
ISBN-13: 9783642169007