This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne, UK, during July 18-22, 2005. Formal Methods Europe (FME,... This description may be from another edition of this product.