A.Gravell

Identifiers

• name variant A.Gravell 0.60 · backfill

Papers (2)

1. Concurrent Development of Model and Implementation cs.SE · 2011 · author #1
2. Model-Based Trace-Checking cs.LO · 2011 · author #3

Mentions

• 1111.2826 #1 · backfill · confidence 0.70 A.Gravell
• 1111.2825 #3 · backfill · confidence 0.70 A.Gravell

Frequent Coauthors

• C. Ferreira 2 shared papers
• J.C. Augusto 2 shared papers
• S. Gruner 2 shared papers
• Y. Howard 2 shared papers