Search results for: Paolo Arcaini
Formal Aspects of Computing > 2016 > 28 > 4 > 567-595
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 2 > 247-269
Software: Practice and Experience > 41 > 2 > 155 - 166
Formal Aspects of Computing > 2016 > 28 > 4 > 567-595
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 2 > 247-269
Software: Practice and Experience > 41 > 2 > 155 - 166