"Model-Based Formal Reasoning about Data-Management Applications."

Carolina Dania, Manuel Clavel (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics