Runtime Verification for Generic Classes with ConGu 2. - Pedro Crispim; Antónia Lopes; Vasco Thudichum Vasconcelos (SBMF, 2010)