Alessandro Mignogna (ALES S.r.l.)

Identifiers

• name variant Alessandro Mignogna (ALES S.r.l.) 0.60 · backfill

Papers (1)

1. SoS contract verification using statistical model checking cs.SE · 2013 · author #1

Mentions

• 1311.3632 #1 · backfill · confidence 0.70 Alessandro Mignogna (ALES S.r.l.)

Frequent Coauthors

• Alexandre Arnold (EADS) 1 shared papers
• Axel Legay (INRIA) 1 shared papers
• Beno\^it Boyer (INRIA) 1 shared papers
• Leonardo Mangeruca (ALES S.r.l.) 1 shared papers