[ACM Press the 19th Workshop - Barcelona, Spain...

  • Main
  • [ACM Press the 19th Workshop -...

[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, Viviana
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2017
Language:
english
DOI:
10.1145/3103111.3104037
File:
PDF, 300 KB
english, 2017
Conversion to is in progress
Conversion to is failed