Challenging Formal Specifications by Mutation: a CSP security example - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona A. C. Polack. Challenging Formal Specifications by Mutation: a CSP security example. In 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand. pages 340, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Thitima Srivatanakul' in GoogleThis author has not been identified. Look up 'John A. Clark' in GoogleThis author has not been identified. Look up 'Susan Stepney' in GoogleIdentified as Fiona A. C. Polack

runs on WebDSL