Laurent Hubert

	2008
3		Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
2		Laurent Hubert: A non-null annotation inferencer for Java bytecode. PASTE 2008: 36-42
	2007
1		Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139

Coauthor Index

1	Elvira Albert	[1]
2	Miguel Gómez-Zamalloa	[1]
3	Thomas P. Jensen	[3]
4	David Pichardie	[3]
5	Germán Puebla (German Puebla)	[1]

Colors in the list of coauthors