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, www.fmeurope.org) 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
Subjects:
Online Access: http://dx.doi.org/10.1007/b27882
Tags: Add Tag
No Tags, Be the first to tag this record!