Conference: Automated Technology for Verification and Analysis : Second International Conference

Number of records: 1.

Shen, ShengYu and Qin, Ying and Li, SiKun (2004) Localizing errors in counterexample with iteratively witness searching. In Wang, Farn, Eds. Proceedings Automated Technology for Verification and Analysis : Second International Conference, pp. 456-469, Taipei (Taiwan).

This list was generated on Sun Jul 6 04:56:11 CEST 2008.