Analyse des performances d’extraction du code VCC du langage de programmation Java. Ontare, v. 7, p. 28–48, 11 avr.2020.