000 00280nam a2200109Ia 4500
008 210616s9999 xx 000 0 und d
100 _aLaski, Janusz
245 0 _aSoftware verification and analysis
260 _c2009
650 _aSoftware Engineering
_bComputer Science
942 _cBK
999 _c601
_d601