Joao Gomes

	2008
1		Joao Gomes, Daniel Martins, Simao Melo de Sousa, Jorge Sousa Pinto: Lissom, a Source Level Proof Carrying Code Platform CoRR abs/0803.2317: (2008)

Coauthor Index

1	Daniel Martins	[1]
2	Jorge Sousa Pinto	[1]
3	Simao Melo de Sousa	[1]