000			00841nam a2200217Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9781607507109 _c(hbk)
082			_223 _a005.8 _bBRO
100			_aBroy, Manfred
245		0	_aSoftware and systems safety : specification and verification
260			_aAmsterdam: _bIOS Press, _c2011
300			_aix, 285 p.; _bill.: _c25 cm.
490			_aNATO science for peace and security series. Sub-series D. information and communication security
650			_aComputer security -- Congresses
650			_aComputer software -- Verification -- Congresses
650			_aSoftware engineering -- Congresses
700			_aHoare, Tony
700			_aLeuxner, Christian
700			_aNATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
942			_2ddc _cBK
999			_c21391 _d21391