Fermín Reig

	2005
2		Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang: A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57(3): 275-294 (2005)
	2004
1		Fermín Reig: Generic proofs for combinator-based generic programs. Trends in Functional Programming 2004: 17-32

Coauthor Index

1	Deepak Chandra	[2]
2	Michael Franz	[2]
3	Andreas Gal	[2]
4	Vivek Haldar	[2]
5	Christian W. Probst	[2]
6	Ning Wang	[2]