Introduction to the special issue of the 19th International Conference on Runtime Verification
Finkbeiner, Bernd ; Mariani, Leonardo
International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.545-546 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin Heidelberg
Texto completo disponível