220 followers
History-Based Verification of Functional Behaviour of Concurrent Programs. - Stefan Blom, Marieke Huisman, Marina… http://t.co/D0fCRVsl1M
History-Based Verification of Functional Behaviour of Concurrent Programs. - Stefan Blom, Marieke Huisman, Marina… http://t.co/D0fCRVsl1M