EasyChair Smart SlideDocs/Log in
Author: Gehang Zhao

This page shows all presentations of this author published in EasyChair Smart Slide.

Compositional Verification of Interacting Systems Using Event Monads

Compositional Verification of Interacting Systems Using Event Monads

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Ye Hong and Bican Xia

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair