TACAS 2020: Difference between revisions
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..." |
No edit summary |
||
| 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 13: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