@mastersthesis{Mar19,
  author      = {Marinho, Dylan},
  date        = {2019},
  institution = {Université Laval},
  title       = {Toward Semantic-Based Android Malware Detection Using Model Checking},
  type        = {Master thesis},
}