Reviewing Formal Specification for Validation Using Animation and Trace Links.

Mo Li, Shaoying Liu

Browse the full APSEC paper archive.