Vasco Thudichum Vasconcelos (Lasige

Identifiers

• name variant Vasco Thudichum Vasconcelos (Lasige 0.60 · backfill

Papers (2)

1. Inferring Types for Parallel Programs cs.PL · 2017 · author #4
2. Deductive Verification of Parallel Programs Using Why3 cs.PL · 2015 · author #9

Mentions

• 1508.04856 #9 · backfill · confidence 0.70 Vasco Thudichum Vasconcelos (Lasige

Frequent Coauthors

• Faculty of Sciences 2 shared papers
• Francisco Martins (LaSIGE 2 shared papers
• Aalborg University) 1 shared papers
• C\'esar Santos (Lasige 1 shared papers
• Hans H\"uttel (Department of Computer Science 1 shared papers
• Portugal) 1 shared papers
• University of Lisbon 1 shared papers
• University of Lisbon) 1 shared papers