Manuel A. Martins (CIDMA

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandre Madeira (HASLab INESC TEC 1 shared papers
• Dep Matem\'atica Universidade de Aveiro) 1 shared papers
• Lu\'is S. Barbosa (HASLab INESC TEC 1 shared papers
• Universidade do Minho) 1 shared papers