Dynamic Validation of Contracts in Concurrent Code

Computer Aided Systems Theory – EUROCAST 2015 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27340-2_69 ◽

2015 ◽

pp. 555-564 ◽

Author(s):

Jan Fiedor ◽

Zdeněk Letko ◽

João Lourenço ◽

Tomáš Vojnar

Download Full-text