Vasco Thudichum Vasconcelos (Lasige

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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