TY  - CHAP

T1  - Challenging formal specifications by mutation: A CSP security example

PY  - 2003/01/01

AU  - Srivatanakul T

AU  - Clark JA

AU  - Stepney S

AU  - Polack F

ED  - 

DO  - DOI: 10.1109/APSEC.2003.01254388

VL  - 2003-January

SP  - 340

EP  - 350

Y2  - 2024/12/22

ER  -