Zdenek Letko
AuthID: R-00H-NJ0
1
TITLE: Dynamic Validation of Contracts in Concurrent Code
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
