Verification of relational data-centric dynamic systems with external services.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali

Browse the full PODS paper archive.