Victor Vianu
Author Details
- Affiliation: UC San Diego, USA
- Email: vianu@cs.ucsd.edu
ICDT Contributions by Victor Vianu
- Automatic Verification of Database-Driven Systems: A New Frontier (Invited Talk)
Victor Vianu - Automatic Verification of Data-Centric Business Processes
Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu