Trace Diagnostics for Signal-Based Temporal Properties
- Chaima Boufaied
- , Claudio Menghi
- , Domenico Bianculli
- , Lionel C. Briand
- University of Ottawa
- University of Bergamo
- McMaster University
- University of Luxembourg
Research output: Contribution to journal › Article › peer-review