論文

査読有り

2019年10月

Temporal Verification of Programs via First-Order Fixpoint Logic

Proceedings of SAS 2019

Naoki Kobayashi
Takeshi Nishikawa
Atsushi Igarashi
Hiroshi Unno

巻: Springer LNCS 11822
号
開始ページ: 413
終了ページ: 436
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-030-32304-2_20

リンク情報

DOI: https://doi.org/10.1007/978-3-030-32304-2_20

ID情報

DOI : 10.1007/978-3-030-32304-2_20

エクスポート: BibTeX RIS

論文リストへ