C.: Program verification by using DISCOVERER (2005)

by L Yang, N Zhan, B Xia, Zhou
Venue:In: Proc. VSTTE’05, Zürich (October 10-October 13