FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings. ISBN 9783540278825. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.