Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Alexey V. Khoroshilov
Latest
Formal Verification of OS Security Model with Alloy and Event-B
Cite
×