00975nam a2200241 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112245013700120260011200257300003300369490010100402504005200503650004800555650003400603650003400637700001900671700001900690700002400709vtls000074514KUKTEM20251125095834.0130910t2012    waua   f bi   001 0 eng d  a9781614990277  a1614990271  aUMP00aSoftware safety and security :btools for analysis and verification /cedited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann  aWashington, DC :bIOS Press published in cooperation with NATO Emerging Security Challenges Division,c2012  aix, 387 p. :bill. ;c25 cm.1 aNATO science for peace and security series. Sub-series D: Information and communication security  aIncludes bibliographical references and indexes 0aComputer softwarexVerificationvCongresses 0aComputer securityvCongresses 0aComputer securityvCongresses1 aNipkow, Tobias1 aGrumberg, Orna1 aHauptmann, Benedikt