Charles C. Morgan

Books that list Charles C. Morgan among their authors but not as the lead author: co-written works, collections and compilations.

Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver · 2004