TY  - RPRT
TI  - A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
AU  - Hammad Ahmad
AU  - Jean-Baptiste Jeannin
PY  - 2021
UR  - https://arxiv.org/abs/2103.08117
ID  - 2103.08117
ER  -