Verifying Concurrent Programs Using Contracts

R. J. Dias, C. Ferreira, J. Fiedor, João M. Lourenço, A. Smrcka, D. G. Sousa, T. Vojnar
Posted Mar 1, 2017
Cite Link