TY  - CONF

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

JO  - Tenth Asia-Pacific Software Engineering Conference, 2003.

PY  - 2003/02/02

AU  - Srivatanakul T

AU  - Clark JA

AU  - Stepney S

AU  - Polack F

ED  - 

DO  - DOI: 10.1109/apsec.2003.1254388

PB  - IEEE

Y2  - 2024/12/22

ER  -