Back to Search Start Over

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

Authors :
Hirata, Michikazu
Minamide, Yasuhiko
Sato, Tetsuya
Source :
Lecture notes in computer science, LNCS. 13215
Publication Year :
2022

Details

Language :
English
Volume :
13215
Database :
OpenAIRE
Journal :
Lecture notes in computer science, LNCS
Accession number :
edsair.jairo.........50bcf420ba8b409d27ab14339ff30ad0

Tools

Authors Abstract Subjects Details