NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam ; Washington, D. C. : IOS Press, [2013]
2013
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Washington, D.C. : IOS Press, 2012.
2012
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)
Amsterdam ; Washington, D.C. : IOS Press, c2006.
2006