Conference Detail

11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems -- TACAS 2005

Events list

Place

Edinburgh

Type of Event

conference

Kind of Event

worldwide event

Time

2005-04-02 - 2005-04-10

Last time changed by

Fit