Lu\'is S. Barbosa (HASLab INESC TEC

Identifiers

No identifiers captured yet.

Papers (1)

1. A logic for n-dimensional hierarchical refinement cs.LO · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandre Madeira (HASLab INESC TEC 1 shared papers
• Dep Matem\'atica Universidade de Aveiro) 1 shared papers
• Manuel A. Martins (CIDMA 1 shared papers
• Universidade do Minho) 1 shared papers