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
- ,
- ,
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1007/978-3-030-81685-8_35
- ID情報
-
- DOI : 10.1007/978-3-030-81685-8_35