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)
 
Start date
18-10-2010
End date
20-10-2010
 
Location
Heraklion, Griechenland
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Author:  Kugele, Stefan
Author:  Januzaj, Visar

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

PreviewAuthor(s)TitleTypeIssue Date
1Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael Timely Time EstimatesKonferenzbeitrag Inproceedings2010