讲座
- Information Sciences Seminar——Efficient Fully Homomorphic Encrytion Scheme 2018-10-16
- Interaction by Composition 2018-10-10
- Information Sciences Seminar—— COMPOSITIONAL SEMANTICS FOR NEW PARADIGMS: PROBABILISTIC, HYBRID AND BEYOND 2018-09-12
- Information Sciences Seminar——Smart Black-box Testing - Combining Model Learning and Model-based Testing 2018-09-10