Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Lau, Kung-Kiu., Banach, Richard.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series: Lecture Notes in Computer Science, 3785
Subjects:
Online Access: http://dx.doi.org/10.1007/11576280
Tags: Add Tag
No Tags, Be the first to tag this record!