International Symposium on Leveraging Applications of Formal Methods (ISoLA)
Event name
International Symposium on Leveraging Applications of Formal Methods (ISoLA)
Event type
Event for scientific audience
Start date
15-10-2012
End date
18-10-2012
Location
Heraklion, Kreta, Griechenland
Heraklion, Kreta, Griechenland
Heraklion, Kreta, Griechenland
Country
Europe
Event format Veranstaltungsformat
On Site