ICTAC 2020

17th International Colloquium on Theoretical Aspects of Computing
30, Nov, 2020 to 4, Dec, 2020
Online
Homepage: https://ictac2020.github.io/Outside Link

CISTER's participants:
,
José Proença




Conference or Workshop Papers/Talks
Implementing Hybrid Semantics: From Functional to Imperative CISTER-TR-201008 
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

PreviousNext