Ahmed Bouajjani profile picture

Ahmed Bouajjani

Is this your author profile? Create an account to customize it!

Stand Alone

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings