Cited By
View all- Signoles JAhrendt WAncona DFrancalanza A(2021)The e-ACSL perspective on runtime assertion checkingProceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution10.1145/3464974.3468451(8-12)Online publication date: 12-Jul-2021
- Boer FGouw S(2016)Run-Time Checking Multi-threaded Java ProgramsProceedings of the 42nd International Conference on SOFSEM 2016: Theory and Practice of Computer Science - Volume 958710.1007/978-3-662-49192-8_18(217-228)Online publication date: 23-Jan-2016