Towards Testing Concurrent Objects in CLP.

Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa

Browse the full ICLP paper archive.