Frédéric Painchaud
Frédéric Painchaud, Ph.D.
Ancien(ne) étudiant(e) -
 

Sujets d'intérets

  • A Novel ASM-Based Hybrid Model-Checking Approach for Java