INESC TEC

Identifiers

• name variant INESC TEC 0.50 · backfill

Papers (1)

1. Integrating User Design and Formal Models within PVSio-Web cs.SE · 2018 · author #10

Mentions

No mention provenance yet.

Frequent Coauthors

• Braga 1 shared papers
• Hamilton 1 shared papers
• Nathaniel Watson (Department of Computer Science 1 shared papers
• New Zealand) 1 shared papers
• Paolo Masci (High Assurance Software Laboratory (HASLab) 1 shared papers
• Portugal) 1 shared papers
• Steve Reeves (Department of Computer Science 1 shared papers
• Universidade do Minho 1 shared papers
• University of Waikato 1 shared papers