Menu
Home
Help and information
About this website
Privacy Policy
Jens Bendisposto
1 published title
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems
(Contributor)
1 edition
Newcastle University, Computing Science
2011
Details