Javier Esparza, Orna Grumberg, Salomon Sickert, editors, Dependable Software Systems Engineering. Volume 45 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, 2016.
@book{natosec-45, title = {Dependable Software Systems Engineering}, year = {2016}, researchr = {https://researchr.org/publication/natosec-45}, cites = {0}, citedby = {0}, editor = {Javier Esparza and Orna Grumberg and Salomon Sickert}, volume = {45}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, publisher = {IOS Press}, isbn = {978-1-61499-627-9}, }