Analyse d'exécutables x86 par transformation sous forme de clauses de Horn

  • Axel Devos

Student thesis: Master types › Master in Computer science

Date of Award26 Jun 2017
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorAnthony Cleve (President) & Wim Vanhoof (Supervisor)

Cite this

Documents

'