Formal Methods and Software Engineering
Subtitle: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540304821
Subjects: Software engineering