Software Safety and Security - Tools for Analysis and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann, editors, Software Safety and Security - Tools for Analysis and Verification. Volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, 2012. [doi]

This author has not been identified. Look up 'Tobias Nipkow' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. Look up 'Benedikt Hauptmann' in Google

runs on WebDSL