History-Based Verification of Functional Behaviour of Concurrent Programs.

Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Browse the full SEFM paper archive.