DMCA

History-based Verification of Functional Behaviour of Concurrent Programs

Cached

Download Links

by Stefan Blom , Marieke Huisman , Marina Zaharieva-stojanovski