CiNii Citation Information by NII
メニュー
検索
Articles, Data
Books
Dissertations
日本語
Search
Title
Researcher/Group
Affiliation
ISSN
DOI
Period
〜
Link to full-text
Has Link to full-text
Data Source
JaLC
IRDB
Crossref
DataCite
NDL
NDL-Digital
IDR
JDCat
NINJAL
CiNii Articles
CiNii Books
CiNii Dissertations
RUDA
DBpedia
Nikkei BP
KAKEN
Integbio
[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research
証明支援系Coqを用いた有界モデル検査
藤井 采人
石井 大輔
Bibliographic Information
Other Title
ショウメイ シエンケイ Coq オ モチイタ ユウカイ モデル ケンサ
Search this article
NDL ONLINE
CiNii Books
Journal
日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編
日本ソフトウェア科学会大会論文集 / 日本ソフトウェア科学会 編 34 135-140, 2017-09
日本ソフトウェア科学会
Citations (0)
*help
Loading...
See more
References(0)
*help
Loading...
See more
Related Articles
See more
Related Data
See more
Related Books
See more
Related Dissertations
See more
Related Projects
Loading...
See more
Related Products
See more
Tweet
Details
CRID
1520009410057826688
NII Article ID
40021461930
NII Book ID
AN10158574
ISSN
09135391
NDL BIB ID
028820750
Web Site
http://id.ndl.go.jp/bib/028820750
Text Lang
ja
NDL Source Classification
ZM13(科学技術--科学技術一般--データ処理・計算機)
Data Source
NDL
CiNii Articles
Export
Export to RefWorks
Export to EndNote
Export to Mendeley
Show Refer/BibIX
Show RIS
Show BibTeX
Show TSV
Report a problem
Edit article detail
other
Back to top
Project list