Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event name
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event type
Event for scientific audience
Start date
24-03-2012
End date
01-04-2012
Location
Tallinn, Estland
Country
Europe
Event format Veranstaltungsformat
On Site