Verifying Concurrent Programs by Memory Unwinding.

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full TACAS paper archive.