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