245 followers
Angelic Verification: Precise Verification Modulo Unknowns. - Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li http://t.co/jtAhGMFxDY
Angelic Verification: Precise Verification Modulo Unknowns. - Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li http://t.co/jtAhGMFxDY