Model-Based Formal Reasoning about Data-Management Applications.

Carolina Dania, Manuel Clavel

Browse the full FASE paper archive.