Abstraction, refinement and proof for probabilistic systems

Descrição: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any program... Veja mais