TY  - CONF

T1  - Testing with Inputs and Outputs in CSP

UR  - https://doi.org/10.1007/978-3-642-37057-1_26

PY  - 2013/03/04

AU  - Cavalcanti A

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1007/978-3-642-37057-1_26

PB  - Springer Berlin Heidelberg

SN  - 9783642370564

SP  - 359

EP  - 374

Y2  - 2025/11/05

ER  -