Search results for: Mirco Tribastone
IEEE Transactions on Software Engineering > 2013 > 39 > 6 > 744 - 756
IEEE Transactions on Software Engineering > 2012 > 38 > 1 > 205 - 219
IEEE Transactions on Software Engineering > 2012 > 38 > 4 > 861 - 874