Deepak D'Souza

1 published title

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, proceedings

(Contributor)

1 edition