2022
Compositional Verification of Interacting Systems Using Event Monads.
[DOI]
Bohua Zhan
,
Yi Lv
,
Shuling Wang
,
Gehang Zhao
,
Jifeng Hao
,
Hong Ye
,
Bican Xia
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022