Verifying class invariants in concurrent programs (2014)

by Marina Zaharieva-Stojanovski, Marieke Huisman
Venue:In Stefania Gnesi and Arend Rensink, editors, Fundamental Approaches to Software Engineering, (FASE