Simao Melo de Sousa

Identifiers

• name variant Simao Melo de Sousa 0.60 · backfill

Papers (1)

1. Lissom, a Source Level Proof Carrying Code Platform cs.LO · 2008 · author #3

Mentions

• 0803.2317 #3 · backfill · confidence 0.70 Simao Melo de Sousa

Frequent Coauthors

• Daniel Martins 1 shared papers
• Joao Gomes 1 shared papers
• Jorge Sousa Pinto 1 shared papers