Title: Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
Subjects: Logic design, Computer science, Software engineering, Computer software, Automatic theorem proving, Congresses, Formale Methode, Kongress, Verifikation, Model Checking, Softwareentwicklung, Hardwareentwurf, Systementwurf, Systemanalyse, Zeitbehafteter Automat, Eingebettetes System, Hybrides System