by TobiasNipkow (Editor), JayadevMisra (Editor), EmilSekerinski (Editor)
Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.
Format: Paperback
Pages: 620
Publisher: Springer
Published: 10 Aug 2006
ISBN 10: 3540372156
ISBN 13: 9783540372158