首页 > 学术活动

Formal Verification of Security Protocols

演讲者：Anca D. Jurcut
时间：2017-12-21（星期四）10:30-12:00
地点：Conference room 1008, IPARK A7 Building

20171221 Anca Jurcut.jpg

地址：南方科技大学工学院南楼444A办公室