Giles Reger

Identifiers

Open LibraryOL8010063A

Books by Giles Reger

Total count: 2

Runtime Verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Springer2017-09-06
Frontiers of Combining Systems13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings

Springer International Publishing AG2021-01-01