International Conference on Formal Engineering Methods (2005 :)
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
Banach, Richard.; Lau, Kung-Kiu.; SpringerLink (Online service); International Conference on Formal Engineering Methods (2005 :)
(Language materials, printed)