Search Results - Maxim Petrov

Maxim Petrov

Maxim Vladimirovich Petrov (, born 1965) is a Russian serial killer, convicted for the killing of 11 people in St Petersburg between 1999 and 2000. Petrov, nicknamed Doctor Death by the Russian media, was a practicing doctor who targeted patients from a local health center, killing them by lethal injection at their homes then robbing them.

Petrov was sentenced to life imprisonment and is suspected to have killed up to 19 people until his arrest. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver

    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

    Published 2014-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: