Sciweavers

FMICS
2008
Springer

Using Datalog and Boolean Equation Systems for Program Analysis

13 years 5 months ago
Using Datalog and Boolean Equation Systems for Program Analysis
María Alpuente, Marco A. Feliú, Chri
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMICS
Authors María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Comments (0)