Isabelle/HOLによる高階確率的プログラム検証
Autor: | Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya |
---|---|
Jazyk: | japonština |
Rok vydání: | 2021 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya |
---|---|
Jazyk: | japonština |
Rok vydání: | 2021 |
Databáze: | OpenAIRE |
Externí odkaz: |