Boeken over Abstraction, Refinement and Proof for Probabilistic Systems

Geen resultaten