Ukachukwu Ndukwu (Macquarie University

Identifiers

• name variant Ukachukwu Ndukwu (Macquarie University 0.60 · backfill

Papers (1)

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

Mentions

• 1106.4096 #1 · backfill · confidence 0.70 Ukachukwu Ndukwu (Macquarie University

Frequent Coauthors

• Annabelle McIver (Macquarie University 1 shared papers
• Australia) 1 shared papers