Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds. (2004) Integrated Formal Methods 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany ISBN 978-3-540-21377-2. E-ISBN 978-3-540-24756-2. (doi:10.1007/b96106) (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) (KAR id:14194)
| 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. | |
| Official URL: http://dx.doi.org/10.1007/b96106 |
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 |
|---|---|
| DOI/Identification number: | 10.1007/b96106 |
| 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: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Eerke Boiten |
| Date Deposited: | 24 Nov 2008 18:02 UTC |
| Last Modified: | 16 Nov 2021 09:52 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/14194 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
