Vista normal
Vista MARC
- Morgan, Carroll.
Morgan, Carroll. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)278643: McIver, Annabelle. autor 302397, Abstraction, Refinement and Proof for Probabilistic Systems /