Originalspråk | Odefinierat/okänt |
---|---|
Titel på värdpublikation | 2nd International Conference on Integrated Formal Methods, IFM'2000 |
Redaktörer | W Grieskamp, T Santen, B Stoddart |
Förlag | Springer-Verlag |
Sidor | – |
Status | Publicerad - 2000 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | conference - Varaktighet: 1 jan. 2010 → … |
Konferens
Konferens | conference |
---|---|
Period | 01/01/10 → … |