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 the normal view instead:
scientific article; zbMATH DE number 5916094
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
