Structural testing criteria for concurrent programs considering loop execution
Diaz, Silvia Margarita Diaz
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-05-24
Acesso online. A biblioteca também possui exemplares impressos.