An Overview of the International Verification and Security Workshop (IVSW).

Magdy Abadir, Sohrab Aftabjahani

Browse the full ITC paper archive.