Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010 (Q106244678)
Jump to navigation
Jump to search
academic conference
- 8th IFM 2010: Nancy, France
Language | Label | Description | Also known as |
---|---|---|---|
English | Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010 |
academic conference |
|
Statements
IFM 2010 (English)
1 reference
Integrated Formal Methods - 8th International Conference (English)
1 reference
1 reference
1 reference
11 October 2010
1 reference
14 October 2010
1 reference
Identifiers
IFM (8 : 2010 : Nancy)
1 reference