Formal mutation testing in Circus process algebra (2018)
Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (Orientador) 
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 14 fev. 2026.APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 fev. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 fev. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
