TY  - RPRT
TI  - Specification of State and Time Constraints for Runtime Verification of Functions
AU  - Joshua Heneage Dawes
AU  - Giles Reger
PY  - 2018
UR  - https://arxiv.org/abs/1806.02621
ID  - 1806.02621
ER  -