FERNANDO RUBIO DÍEZ-rekin lankidetzan egindako argitalpenak (1)

2020

  1. Introducing complexity to formal testing

    Journal of Logical and Algebraic Methods in Programming, Vol. 111