Computer Aided Verification Computer Aided Verification
2021년
Computer Aided Verification Computer Aided Verification
2021년
Language, Logic, and Computation Language, Logic, and Computation
2019년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2017년