@Misc{            Yurichev:2017aa,
  Author        = "Yurichev, Dennis",
  date-added    = "2018-02-26 10:16:52 +0000",
  date-modified = "2018-02-26 10:17:03 +0000",
  Title         = "Quick introduction into SAT/SMT solvers and symbolic execution",
  Year          = "2017",
  File          = "SAT\_SMT\_draft-EN (0) - a - a - s.pdf"
}

@Misc{ Yurichev:2017aa, Author = "Yurichev, Dennis", date-added = "2018-02-26 10:16:52 +0000", date-modified = "2018-02-26 10:17:03 +0000", Title = "Quick introduction into SAT/SMT solvers and symbolic execution", Year = "2017", File = "SAT_SMT_draft-EN (0) - a - a - s.pdf" }