A Model Checking-based Approach for Security Policy Verification of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)

• Google Scholar
• BibTeX

Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)

• Google Scholar
• BibTeX