Jorge Luis Sacchini

	2008
3		Gilles Barthe, César Kunz, Jorge Luis Sacchini: Certified Reasoning in Memory Hierarchies. APLAS 2008: 75-90
2		Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini: A New Elimination Rule for the Calculus of Inductive Constructions. TYPES 2008: 32-48
	2007
1		Benjamin Grégoire, Jorge Luis Sacchini: Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. TGC 2007: 23-40

Coauthor Index

1	Bruno Barras	[2]
2	Gilles Barthe	[3]
3	Pierre Corbineau	[2]
4	Benjamin Grégoire	[1] [2]
5	Hugo Herbelin	[2]
6	César Kunz	[3]