TY  - RPRT
TI  - Runtime Verification Logics A Language Design Perspective
AU  - Reger, Giles
AU  - Havelund, Klaus
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20210007686
ID  - 20210007686
ER  -