FTfJP 2017

FTfJP 2017

Parametric Trace Expressions for Runtime
Verification of Java-Like Programs

1f7c2a72eb456f76d736235e3f860803?s=128

Luca Franceschini

May 20, 2017
Tweet