Mehdi Bouaziz

Scalable Numerical Abstact Domains

2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013), National University of Defense Technology, Changsha, China. November 23, 2013

Last update: January 24, 2014