Suspicion-driven formal analysis of security requirements
- Nuno Amálio*
*Corresponding author for this work
- University of Luxembourg
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3
Citations
(Scopus)