Luis S. Barbosa (Dep. Informatics & CCTC
Identifiers
- name variant Luis S. Barbosa (Dep. Informatics & CCTC 0.60 · backfill
Papers (1)
- The role of logical interpretations in program development cs.LO · 2013 · author #5
Mentions
- 1311.7090 #5 · backfill · confidence 0.70 Luis S. Barbosa (Dep. Informatics & CCTC
Frequent Coauthors
- Alexandre Madeira (CCTC 1 shared papers
- Aveiro University & Critical Software) 1 shared papers
- Braga 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