000
00307nam a2200121 4500
999
_c
19941
_d
19941
005
20190628110719.0
008
190628b ||||| |||| 00| 0 eng d
040
_c
LIRC
100
_a
Kumar, Viraj
245
_a
Software verification (lecture)
260
_a
Neemrana
_b
NIIT University
_c
2011
942
_2
ddc
_c
CD