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
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014