![](/img/cover-not-exists.png)
[ACM Press the 19th Workshop - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17 - Parametric Trace Expressions for Runtime Verification of Java-Like Programs
Ancona, Davide, Ferrando, Angelo, Franceschini, Luca, Mascardi, VivianaYear:
2017
Language:
english
DOI:
10.1145/3103111.3104037
File:
PDF, 300 KB
english, 2017