FM 2008


The proceedings of the 15th International Symposium on Formal Methods will be published by Springer-Verlag in Lecture Notes for Computer Science series, in volume 5014. Accepted papers should be in Springer's format and should not exceed 16 pages including appendices.

Please note that an accepted paper will be published in the Proceedings only if at least one of its authors attends the symposium, in order to present their accepted work.