Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 (Q106243731)
Jump to navigation
Jump to search
academic conference
- 9th ICFEM 2007: Boca Raton, FL, USA
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 |
academic conference |
|
Statements
ICFEM 2007 (English)
1 reference
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods (English)
1 reference
1 reference
14 November 2007
1 reference
15 November 2007
1 reference
Identifiers
International Conference on Formal Engineering Methods (9 : 2007 : Boca Raton, Fla.)
1 reference