TACAS 1995
Revision as of 08:51, 7 October 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=TACAS 1995 |Title=International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020 |Ordinal=1 |Type=Workshop |Supereve...")
TACAS 1995 | |
---|---|
International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020
| |
Ordinal | 1 |
Subevent of | ETAPS |
Dates | 1995/05/19 (iCal) - 1995/05/20 |
Presence | presence |
Location | |
Location: | Aarhus, Denmark |
Papers: | Submitted 32 / Accepted 12 (37.5 %) |
Table of Contents | |
The 1. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1995