Alexandre Madeira (CCTC

Identifiers

• name variant Alexandre Madeira (CCTC 0.60 · backfill

Papers (1)

1. The role of logical interpretations in program development cs.LO · 2013 · author #2

Mentions

• 1311.7090 #2 · backfill · confidence 0.70 Alexandre Madeira (CCTC

Frequent Coauthors

• Aveiro University & Critical Software) 1 shared papers
• Braga 1 shared papers
• Luis S. Barbosa (Dep. Informatics & CCTC 1 shared papers
• Manuel A. Martins (University of Aveiro) 1 shared papers
• Minho University 1 shared papers
• Minho University & Dep. Mathematics 1 shared papers
• Portugal) 1 shared papers