000 00307nam a2200121 4500
999 _c19941
_d19941
005 20190628110719.0
008 190628b ||||| |||| 00| 0 eng d
040 _cLIRC
100 _aKumar, Viraj
245 _aSoftware verification (lecture)
260 _aNeemrana
_bNIIT University
_c2011
942 _2ddc
_cCD