Dynamic Validation of Contracts in Concurrent Code

Authors

Jan Fiedor, Zdenek Letko, João Lourenço, Tomas Vojnar,