Login / Signup

Verifying Probabilistic Programs Using a Hoare like Logic.

Jerry den Hartog
Published in: ASIAN (1999)
Keyphrases