Symbolic Execution of Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa

Browse the full PADL paper archive.