TACAS 2002
Revision as of 08:46, 8 October 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=TACAS 2002 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=8 |Series=TACAS |Type=Conference |Sup...")
TACAS 2002 | |
---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
Ordinal | 8 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 2002/04/08 (iCal) - 2002/04/12 |
Presence | presence |
Location | |
Location: | Grenoble, France |
Committees | |
PC chairs: | Joost-Pieter Katoen, Perdita Stevens |
Keynote speaker: | Michael Lowry |
Table of Contents | |
The 8. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002