Formal Methods in Security

Vassena, Nemati, Künnemann

Timetable

Date Overview Show Calendar
Event Category
Proto verification
Title
Q&A: PROTO3
Location
https://rocketchat.cs.uni-saarland.de/channel/proto 
Details
 
Starttime
29.01.2021 10:00
Endtime
29.01.2021 12:00
the whole day
No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.