Dynamic Validation of Contracts in Concurrent Code

Jan Fiedor, Zdenek Letko, João M. Lourenço, Tomas Vojnar
Posted Feb 1, 2015
Cite