MPG.eBooks - Author Search Results

Cover Image

1

Abstraction, Refinement and Proof for Probabilistic Systems

by McIver, Annabelle, Morgan, Charles Carroll
Published 2005

Springer New York

Cover Image

2

Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Morgan, Charles Carroll...”