TACAS 2020
| TACAS 2020 | |
|---|---|
| Event in series | TACAS |
| Dates | 2020/04/15 (iCal) - 2020/04/30 |
| Location | |
| Location: | Dublin, Ireland |
| Papers: | Submitted 155 / Accepted 48 (31 %) |
| Table of Contents | |
26th International Conference, TACAS 2020
Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2020
Dublin, Ireland, April 25–30, 2020, Proceedings, Part I: /pdf/10.1007%2F978-3-030-45190-5.pdf