SAFT: Static Analysis with Finite Tree Automata

Projekter: Projekt › Forskning

Projektdetaljer

Beskrivelse

Statisk programanalyse med Endelige Træautomater
StatusAfsluttet
Effektiv start/slut dato01/01/2007 → 31/12/2010

Finansiering

  • <ingen navn>
Se alle
Se færre
  • 2 Foredrag og mundtlige bidrag