Skip to content

Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

VenueAECOOP
Year2014
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.