SAFT: Static Analysis with Finite Tree Automata

Project: Research

Description

 
StatusFinished
Effective start/end date01/01/200731/12/2010