Kedar Namjoshi (u. A.) | Automated Technology For Verification And

Vijay Ganesh (u. A.) | Automated Technology For Verification And

Anders P. Ravn (u. A.) | Automated Technology For Verification And

Automated Technology For Verification And Analysis | Chao Wang (u. A.)

Automated Technology For Verification And Analysis | Oleg Sokolsky (u.

Jean-francois Raskin (u. A.) | Automated Technology For Verification

Automated Technology For Verification And Analysis 11th International

Automated Technology For Verification And Analysis Jean-francois

Nils Przigoda (u. A.) | Automated Validation & Verification Of Uml/ocl

Use Of Information And Communication Technology (ict) For Automated

Current Trends In Hardware Verification And Automated Theorem Proving

Valeria Bertacco (u. A.) | Post-silicon And Runtime Verification For

Open Source Based Web-gis Technology For Voter Id Verification A Case

Tevfik Bultan (u. A.) | String Analysis For Software Verification And

Validation And Verification Of Automated Systems Results Of The

Critical Systems: Formal Methods And Automated Verification Joint 21st