Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009 (Q625621)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009 |
scientific article; zbMATH DE number 5857492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009 |
scientific article; zbMATH DE number 5857492 |
Statements
Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009 (English)
0 references
24 February 2011
0 references
