Software systems safety /

Corporate Authors: NATO Advanced Study Institute on Software Systems Safety Marktoberdorf, Germany; NATO Science for Peace and Security Programme; NATO Emerging Security Challenges Division
Group Author: Grumberg, Orna; Seidl, Helmut Computer scientist; Irlbeck, Maximilian
Published: IOS Press,
Publication Dates: [2014]
Call Number: TP309/N279