TY  - JOUR

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

JO  - ACM Transactions on Computational Logic

UR  - https://eprints.whiterose.ac.uk/id/eprint/155706

PY  - 2020/05/11

AU  - Cavalcanti A

AU  - Hierons RM

AU  - Nogueira S

ED  - 

DO  - DOI: 10.1145/3379508

PB  - Association for Computing Machinery

VL  - 21

IS  - 3

Y2  - 2025/11/05

ER  -