TY  - CONF

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

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

UR  - https://doi.org/10.1109/apsec.2003.1254388

PY  - 2003/01/01

AU  - Srivatanakul T

AU  - Clark JA

AU  - Stepney S

AU  - Polack F

ED  - 

DO  - DOI: 10.1109/apsec.2003.1254388

PB  - IEEE

SP  - 340

EP  - 350

Y2  - 2025/12/06

ER  -