Frédéric Painchaud
Frédéric Painchaud, Ph.D.
Former student -
 

Subjects of interests

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