Annabelle McIver (Macquarie University

Identifiers

• name variant Annabelle McIver (Macquarie University 0.60 · backfill

Papers (1)

1. Model exploration and analysis for quantitative safety refinement in probabilistic B cs.LO · 2011 · author #3

Mentions

• 1106.4096 #3 · backfill · confidence 0.70 Annabelle McIver (Macquarie University

Frequent Coauthors

• Australia) 1 shared papers
• Ukachukwu Ndukwu (Macquarie University 1 shared papers