FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings

by John Fitzgerald

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne, UK, during July 18-22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once...

• Format: Paperback
• Language: English
• ISBN: 3540278826
• ISBN13: 9783540278825
• Release Date: July 2005
• Publisher: Springer
• Length: 558 Pages
• Weight: 1.77 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"