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...
Full description
Bibliographic Details
| Corporate Authors: |
International Conference on Integrated Formal Methods Dagstuhl Castle, Germany,
SpringerLink (Online service) |
|---|
| Other Authors: |
Grieskamp, Wolfgang, 1960-,
Santen, Thomas, 1965-,
Stoddart, Bill, 1946- |
|---|
| 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
|
|---|