International Conference in Integrated Formal Methods (IFM)
Event name
International Conference in Integrated Formal Methods (IFM)
Event type
Event for scientific audience
Start date
09-09-2014
End date
11-09-2014
Location
Bertinoro, Italy
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian ; Albert, Elvira ; Sekerinski, Emil | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures | Konferenzbeitrag Inproceedings | 2014 |