TACAS 1995
Revision as of 10:36, 10 December 2021 by Tolga.karaarslan (talk | contribs)
TACAS 1995 | |
---|---|
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020
| |
Ordinal | 1 |
Event in series | TACAS |
Subevent of | ETAPS |
Dates | 1995/05/19 (iCal) - 1995/05/20 |
Presence | presence |
Location | |
Location: | Aarhus, Denmark |
Papers: | Submitted 32 / Accepted 12 (37.5 %) |
Committees | |
PC chairs: | Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen |
Table of Contents | |
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995