C\'esar Santos (Lasige

Identifiers

• name variant C\'esar Santos (Lasige 0.60 · backfill

Papers (1)

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

Mentions

• 1508.04856 #1 · backfill · confidence 0.70 C\'esar Santos (Lasige

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