Search results for: Gaetana Sapienza
Science of Computer Programming > 2017 > 133 > P2 > 216-242
Design Automation for Embedded Systems > 2016 > 20 > 3 > 211-238
Science of Computer Programming > 2017 > 133 > P2 > 216-242
Design Automation for Embedded Systems > 2016 > 20 > 3 > 211-238