Formal methods : foundations and applications : 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011 : revised selected papers. ISBN 9783642250316. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.