Marco A. Feliú

	2009
2		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009)
	2008
1		María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231

Coauthor Index

1	María Alpuente	[1] [2]
2	Christophe Joubert	[1] [2]
3	Alicia Villanueva	[1] [2]