NetCoreプログラムのCoqによる検証
In: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 481, S. 233-240
academicJournal
Zugriff:
Titel: |
NetCoreプログラムのCoqによる検証
|
---|---|
Autor/in / Beteiligte Person: | 弘明, 伊達 ; 紀晃, 吉浦 |
Link: | |
Zeitschrift: | 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jg. 115 (2016-03-01), Heft 481, S. 233-240 |
Reihe: | 技術と社会・倫理 |
Veröffentlichung: | 2016 |
Medientyp: | academicJournal |
ISSN: | 0913-5685 |
Sonstiges: |
|