Verifying concurrent programs using contracts

Ricardo J Dias, Carla Ferreira, Jan Fiedor, João M Lourenço, Aleš Smrcka, Diogo G Sousa, Tomáš Vojnar
Posted Jan 1, 2017
Link