FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, is an independent association which aims to stimulate the use of, and research on, formal meth...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Fitzgerald, John., Hayes, Ian J., Tarlecki, Andrzej.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series: Lecture Notes in Computer Science, 3582
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!