Matteo Acclavio
![]() |
|
||||
Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by

2020

; ;
in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)