@inbook{inbook, title  = {{Challenging formal specifications by mutation: A CSP security example}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

 author = {{Srivatanakul T and Clark JA and Stepney S and Polack F}},

 doi = {{10.1109/APSEC.2003.01254388}},

 volume = {{2003-January}},

 pages = {{340-350}},

 note = {{Accessed on 2024/12/20}}}