A proof score approach to formal verification of an imperative programming language compiler
-
- 緒方 和博
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- A proof score approach to formal verification of an imperative programming language compiler
- 著者
- Dorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata
- 公開日
- 2018
- 資源種別
- journal article
収録刊行物
-
- Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795
-
Proceedings of 7th International Workshop on SOFL+MSVL (SOFL+MSVL 2017), LNCS 10795 - 200-217, 2018
