Search results for: Stefano Quer
Software: Practice and Experience > 46 > 4 > 493 - 511
Advanced Formal Verification > 45-76
Advanced Formal Verification > 45-76
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 6 > 753-773
Formal Methods in System Design > 2011 > 39 > 2 > 205-227
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 12 > 2027 - 2040
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 129-142
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 102-117
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 623-638
Journal of Systems Architecture > 2001 > 47 > 2 > 163-179
Journal of Systems Architecture > 2000 > 46 > 12 > 1137-1158
Formal Methods in System Design > 2000 > 17 > 2 > 107-134