Zdenek Letko
AuthID: R-00H-NJ0
1
TÃTULO: Dynamic Validation of Contracts in Concurrent Code
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2015, FONTE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
AUTORES: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLICAÇÃO: 2015, FONTE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
