Author:
Kubyshkina Ekaterina,Primiero Giuseppe
Reference43 articles.
1. Automatic symbolic verification of embedded systems;Alur;IEEE Trans. Softw. Eng.,1996
2. Universal semantics for the stochastic λ-calculus;de Amorim,2021
3. Curry and Howard meet Borel;Antonelli,2022
4. Sequent calculus for classical logic probabilized;Boričić;Arch. Math. Log.,2019