Ajay Chander David Espinosa Nayeem Islam Peter Lee 0001 George C. Necula 144-147 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_14 db/conf/cav/cav2005.html#ChanderEILN05