Home
Research
Topics
Application
Drive
Projects
Publications
People
PhD
Studies
News
Events
& CfP
Info
& Contacts
Home
Events - Conferences and Workshops
<
>
TACAS 2021
TACAS 2021
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
27, Mar, 2021 to 1, Apr, 2021
Online
Homepage:
https://etaps.org/2021/tacas
CISTER's main roles:
,
José Proença
Artifact Evaluation Committee Member
Short link for this page:
www.cister.isep.pt/events/1840
Previous
Next