Search results for: Piergiuseppe Bettassa Copet
Formal Aspects of Computing > 2018 > 30 > 2 > 279-317
Computer Standards & Interfaces > 2017 > 50 > C > 92-106
Formal Aspects of Computing > 2018 > 30 > 2 > 279-317
Computer Standards & Interfaces > 2017 > 50 > C > 92-106