|Affiliation:||University of York|
|1||Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack|
Challenging Formal Specifications by Mutation: a CSP Security Example
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)Chiang Mai, Thailand, 10-12 December 2003.
|BibTeX | Abstract | URL|