Difference between revisions of "TACAS 2020"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=TACAS 2020 |Series=TACAS |Type=Conference |Field=Software engineering |Start date=2020/04/15 |End date=2020/04/30 |City=Dublin |Country=Ireland |Submitted pap...") |
|||
| Line 12: | Line 12: | ||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-030-45190-5.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-030-45190-5.pdf | ||
}} | }} | ||
| + | 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 | ||
Revision as of 15:44, 3 August 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