Richiedi una copia del documento: Verifying Concurrent Programs by Memory Unwinding

Annulla