論文

査読有り 国際共著 国際誌
2021年

Constraint-based Relational Verification

In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.742-766, Springer
  • Hiroshi Unno
  • ,
  • Tachio Terauchi
  • ,
  • Eric Koskinen

記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-030-81685-8_35

リンク情報
DOI
https://doi.org/10.1007/978-3-030-81685-8_35
ID情報
  • DOI : 10.1007/978-3-030-81685-8_35

エクスポート
BibTeX RIS