Therrezinha Fernandes

	2007
3		Therrezinha Fernandes: A Kleene Algebra Framework for Data Flow Analysis. ASWEC 2007: 201-210
2		Therrezinha Fernandes, Jules Desharnais: Describing data flow analysis techniques with Kleene algebra. Sci. Comput. Program. 65(2): 173-194 (2007)
	2004
1		Therrezinha Fernandes, Jules Desharnais: Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. MPC 2004: 110-128

Coauthor Index

1

Jules Desharnais

[1] [2]