TY  - CONF

T1  - Testing with Inputs and Outputs in CSP

PY  - 2013/01/01

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  - 2024/12/22

ER  -