1

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

E-Article
2
3

Reasoning about probabilistic sequential programs

E-Article