author : Agostino Dovier
3
journals & series
Fundamenta Informaticae (FI) CEUR Workshop Proceedings (CEUR-WS.org) Electronic Notes in Theoretical Computer Science (ENTCS) Fundamenta Informaticae (FI) CEUR Workshop Proceedings (CEUR-WS.org) Electronic Notes in Theoretical Computer Science (ENTCS)