Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings - International Conference on Formal Engineering Methods 2005 : Manchester, England); Banach, Richard; Lau, Kung-Kiu.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses