TY  - JOUR

T1  - Inputs and outputs in CSP: a model and a testing theory

JO  - ACM Transactions on Computational Logic

UR  - http://eprints.whiterose.ac.uk/155706/

PY  - 2020/05/01

AU  - Cavalcanti A

AU  - Hierons R

AU  - Nogueira S

ED  - 

DO  - DOI: 10.1145/3379508

PB  - Association for Computing Machinery

VL  - 21

IS  - 3

Y2  - 2024/12/22

ER  -