Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Browse the full ESOP paper archive.