4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
Event name
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
Event type
Event for scientific audience
Start date
18-10-2010
End date
20-10-2010
Location
Heraklion, Crete
Country
Greece
Event format Veranstaltungsformat
On Site