Xavier Rival

1 published title

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014. Proceedings

(Contributor)

1 edition