Property-Driven Software Analysis - (Extended Abstract).

Mathieu Comptier, David Dharbe, Paulin Fournier, Julien Molinero Perez

Browse the full FM paper archive.