Formal mutation testing in Circus process algebra
Alberto, Alex Donizeti Betez
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-09-21
Acceso en línea. La biblioteca tiene también copias físicas.
- 0
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
t a381 gal.h
t a169ta e.1
browse_callnumber
display.do?gathStatTab=true&dscnt=0&vl(1UIStartWith0)=exact&callNumberBrowseField=browse_callnumber&tabRealType=browseshelf&mode=Advanced&vid=USP&tab=usp_producao&vl(4708870UI0)=sub&dstmp=1727376421597&scp.scps=scope%3A%28USP_PRODUCAO%29&vl(4708880UI3)=all_items&callNumber=t+a334fm+e.1&vl(freeText0)=Process%20Algebra&ct=display&fn=search&indx=5&recIdxs=0&elementId=0