Search results for: P. Pelliccione
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > ITM > 351-365
IEEE Transactions on Software Engineering > 2010 > 36 > 1 > 119 - 140
IEEE Transactions on Software Engineering > 2009 > 35 > 3 > 325 - 346
Automated Software Engineering > 2007 > 14 > 3 > 293-340
Electronic Notes in Theoretical Computer Science > 2005 > 116 > Complete > 31-44