This book presents the refereed proceedings of the 14th
International Symposium on Formal Methods, FM 2006, held in
Hamilton, Canada in August 2006.
The 36 revised full papers presented together with 2 invited
contributions and extended abstracts of 7 invited industrial
presentations were carefully reviewed and selected from 145
submissions. The papers are organized in topical sections on
interactive verification, formal modelling of systems, real time,
industrial experience, specification and refinement, programming
languages, algebra, education, formal modelling of systems, formal
aspects of java, model checking, and abstracts of invited talks
from the industry day.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!