ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
FERNANDO
ROSA VELARDO
Profesor titular de universidad
FERNANDO ROSA VELARDO-rekin lankidetzan egindako argitalpenak (1)
2020
-
Introducing complexity to formal testing
Journal of Logical and Algebraic Methods in Programming, Vol. 111