Search Results - Mikhail Belyaev

Mikhail Belyayev

Mikhail Belyayev Mikhail Alekseyevich Belyaev (; December 23, 18631918) was a Russian general of the Infantry, statesman, Chief of Staff of the Imperial Russian Army from August 1, 1914, to August 10, 1916, and was the last Minister of War of the Russian Empire from January 3, 1917, to February 28, 1917. Provided by Wikipedia
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Published 2013-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    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: