Lingya Sun

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser
Relating counterexamples to test cases in CTL model checking specifications. A-MOST (2007)