Publications
Export 2 results:
Author Title Type [ Year] Filters: First Letter Of Title is M and Author is Natasha Sharygina [Clear All Filters]
Modeling for Verification,
, Handbook of Model Checking, (2018)
A Model Checking-based Approach for Security Policy Verification of Mobile Systems,
, Formal Aspects of Computing Journal, (2010)