NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) creator Broy, M. 1949- Kalus, Georg. Peled, Doron 1962- text bibliography conference publication Electronic books. ne 2013 2013 monographic eng 1 online resource (376 pages) : illustrations. edited by Manfred Broy, Doron Peled and Georg Kalus. "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. "Published in cooperation with NATO Emerging Security Challenges Division." Includes bibliographical references and indexes. Computer software Verification Congresses Computer systems Verification Congresses QA76.76.V47 N38 2012 005.1/4 NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Amsterdam ; Washington, D. C. : IOS Press, [2013] ix, 365 pages : illustrations Sub-series D Information and communication security 9781614992073 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1477301 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1477301 MiAaPQ 131022 20250821130546.0 EBC1477301 eng