Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009. (Q547076)
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: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009. |
scientific article; zbMATH DE number 5916094
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009. |
scientific article; zbMATH DE number 5916094 |
Statements
Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009. (English)
0 references
30 June 2011
0 references
0 references
0.90146846
0 references
0.9002032
0 references
0.8897595
0 references
0.8879748
0 references
0.8854633
0 references
0.8853543
0 references
0.8813662
0 references
