C\'esar Santos (Lasige

Identifiers

No identifiers captured yet.

Papers (1)

1. Deductive Verification of Parallel Programs Using Why3 cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Faculty of Sciences 1 shared papers
• Francisco Martins (LaSIGE 1 shared papers
• Portugal) 1 shared papers
• University of Lisbon 1 shared papers
• Vasco Thudichum Vasconcelos (Lasige 1 shared papers