Modular quantitative monitoring
Alur, Rajeev, Mamouras, Konstantinos, Stanford, CalebVolume:
3
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3290363
Date:
January, 2019
File:
PDF, 511 KB
english, 2019