Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000.
|
| Series: | Lecture notes in computer science ;
1945. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
Published 2000
Conference Proceeding
Book