Abstraction, Refinement and Proof for Probabilistic Systems
eBook kaufen Aktuelle Ansicht