Verification of Semantically-Enhanced Artifact Systems.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

Browse the full ICSOC paper archive.