Back to Search Start Over

Isabelle/HOLによる高階確率的プログラム検証

Authors :
Hirata, Michikazu
Minamide, Yasuhiko
Sato, Tetsuya
Publication Year :
2021

Details

Language :
Japanese
Database :
OpenAIRE
Accession number :
edsair.jairo.........b11e24882d983394389226adde8933c8

Tools

Authors Abstract Subjects Details