HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomeEvents - 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/tacasOutside Link

CISTER's main roles:
,
José Proença
Artifact Evaluation Committee Member




Short link for this page: www.cister-labs.pt/events/1840

PreviousNext