Diego Calvanese

Verification of Relational Data-Centric Dynamic Systems with External Services
February 21st, 17:00