Francisco Martins (LASIGE/FCUL

Identifiers

• name variant Francisco Martins (LASIGE/FCUL 0.60 · backfill

Papers (1)

1. Towards deductive verification of MPI programs against session types cs.DC · 2013 · author #3

Mentions

• 1312.2705 #3 · backfill · confidence 0.70 Francisco Martins (LASIGE/FCUL

Frequent Coauthors

• Eduardo R. B. Marques (LASIGE/FCUL 1 shared papers
• Nicholas Ng (Imperial College London) 1 shared papers
• Nuno Martins (LASIGE/FCUL 1 shared papers
• Universidade of Lisbon) 1 shared papers
• Vasco T. Vasconcelos (LASIGE/FCUL 1 shared papers