A Specification Logic for Programs in the Probabilistic Guarded Command Language
- Raúl Pardo
- , Einar Broch Johnsen
- , Ina Schaefer
- , Andrzej Wasowski
- University of Oslo
- Karlsruhe Institute of Technology
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review