Library Services | Technical University of Kenya Search for 'au:"Majumdar, Rupak."'

Model Checking Software

By Havelund, Klaus.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540851141

By Majumdar, Rupak.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 9783642006029

By Esparza, Javier.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642120022

By Esparza, Javier.. . XVI, 468p. 102 illus. 9783642120022