Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 (Q106244695)
Jump to navigation
Jump to search
academic conference
- 3rd IFM 2002: Turku, Finland
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 |
academic conference |
|
Statements
IFM 2002 (English)
1 reference
Integrated Formal Methods, Third International Conference (English)
1 reference
1 reference
1 reference
15 May 2002
1 reference
18 May 2002
1 reference
Identifiers
IFM (3 : 2002 : Turku)
1 reference