Coqにおける検証されたプログラム運算の拡張
In: 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 341-356
academicJournal
Zugriff:
Titel: |
Coqにおける検証されたプログラム運算の拡張
|
---|---|
Autor/in / Beteiligte Person: | 康佑, 村田 ; 健斗, 江本 |
Link: | |
Zeitschrift: | 日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編, Jg. 35 (2018-08-01), S. 341-356 |
Veröffentlichung: | 2018 |
Medientyp: | academicJournal |
ISSN: | 0913-5391 |
Sonstiges: |
|