Integrated Formal Methods 7th International Conference, IFM 2009, D<U+00fc>sseldorf, Germany, February 16-19, 2009. Proceedings /
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in D<U+00fc>sseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submi...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2009.
|
| Series: | Lecture Notes in Computer Science,
5423 |
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-00255-7 |