Phan, D. T.,
Grosu, R.,
Jansen, N.,
Paoletti, N.,
Smolka, S. A. &
Stoller, S. D.,
2020,
NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.).
Springer,
p. 97-114 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution