Ant\'onio Ravara (New University of Lisbon

Identifiers

• name variant Ant\'onio Ravara (New University of Lisbon 0.60 · backfill

Papers (2)

1. Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems cs.LO · 2014 · author #4
2. Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems cs.LO · 2013 · author #1

Mentions

• 1409.2294 #4 · backfill · confidence 0.70 Ant\'onio Ravara (New University of Lisbon
• 1308.0268 #1 · backfill · confidence 0.70 Ant\'onio Ravara (New University of Lisbon

Frequent Coauthors

• Portugal) 2 shared papers
• Italy) 1 shared papers
• Josep Silva (Universidad Polit\'ecnica de Valencia) 1 shared papers
• Maurice H. ter Beek (ISTI-CNR 1 shared papers
• Pisa 1 shared papers