Project - Securify: A Compositional Approach of Building Security Verified System

No ratings

Presented at SGCRC 2018 by

Prof. Yang

N/A