Library Services | Technical University of Kenya Search for 'au:"Namjoshi, Kedar."'

Verification, Model Checking, and Abstract Interpretation

By Emerson, E. Allen.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540316220

By Namjoshi, Kedar S.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540755968

By Namjoshi, Kedar.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642192371

By Namjoshi, Kedar.. . X, 169 p. 9783642192371