Search results for: Igor Siveroni
IEEE Transactions on Software Engineering > 2013 > 39 > 7 > 954 - 974
Requirements Engineering > 2010 > 15 > 1 > 95-118
Journal of Logic and Algebraic Programming > 2007 > 72 > 2 > 173-190
Electronic Notes in Theoretical Computer Science > 2006 > 153 > 2 > 241-257