Luka Le Roux

	2007
1		Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62

Coauthor Index

1	Yohan Boichut	[1]
2	Thomas Genet	[1]
3	Thomas P. Jensen	[1]

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page