Integrated Formal Methods, 4th International Conference

Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. (2004) Integrated Formal Methods, 4th International Conference. Lecture Notes in Computer Science, 2999 . Springer-Verlag ISBN 3-540-21377-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Item Type: Edited book
Additional information: Publisher links: http://www.springeronline.com/3-540-21377-5; http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2999&issue=preprint.
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: E.A. Boiten
Date Deposited: 24 Nov 2008 18:02 UTC
Last Modified: 06 Dec 2015 00:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/14194 (The current URI for this page, for reference purposes)
  • Depositors only (login required):