Giles Reger

Filter

2019
Specification of temporal properties of functions for runtime verification
Dawes, J. H. & Reger, G., 2019, p. 2206-2214. 9 p.
Research output: Contribution to conference › Paper › peer-review
2016

Selecting the selection
Reger, G., Suda, M., Voronkov, A. & Hoder, K., 22 Mar 2016, (Accepted/In press). 16 p.
Research output: Contribution to conference › Paper › peer-review

Research output