Related Books
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-08-27 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44
Language: en
Pages: 508
Pages: 508
Type: BOOK - Published: 2005-10-27 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November
Language: en
Pages: 788
Pages: 788
Type: BOOK - Published: 2006-11-23 - Publisher: Springer
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November
Language: en
Pages: 553
Pages: 553
Type: BOOK - Published: 2004-03-24 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: - Publisher: Springer Nature
