OB
Oliver Emil Bøving
On Valency
published · living versionsW_g7t38hu6·v1 · currentpublished
Countable Nondeterminism in Weighted Programming with an Application to Mechanized Foundations for Probabilistic Program Verification
with Sebastian Körner, Christoph Matheja
1 version
Preprints & journals
We haven't matched this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.