SAFT: Static Analysis with Finite Tree Automata

Projekter: ProjektForskning

Beskrivelse

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

Finansiering

  • <ingen navn>