Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings

Book

Eerke A Boiten, Graeme Smith, John Derrick and Steven Alfred Schneider

Lecture notes in computer science, Springer

2004

Abstract

Computer Science

Logic design

Software Engineering

9 Record Views

Title: Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
Creators: Eerke A Boiten
Graeme Smith
John Derrick
Steven Alfred Schneider - Department of Electrical and Electronic Engineering
Series: Lecture notes in computer science
Publisher: Springer; Berlin, Heidelberg
Date published: 2004
Identifiers: 3540247564; 9783540247562; 99782997502346
Academic Unit: School of Computer Science and Electronic Engineering
Language: English
Resource Type: Book