Search results for: Gianluca Grilletti
Studia Logica > 2019 > 107 > 6 > 1199-1234
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 289-311
Studia Logica > 2019 > 107 > 6 > 1199-1234
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 289-311