Raúl Pardo

Joint Papers

• A Specification Logic for Programs in the Probabilistic Guarded Command Language