Original language | Undefined |
---|---|
Title of host publication | Integrated Formal Methods, 2nd international Workshop, IFM 2000 |
Place of Publication | Dagstuhl, Germany |
Pages | 420-439 |
Number of pages | 20 |
Publication status | Published - 22 Feb 2000 |
Keywords
- METIS-119655