Showing 1 - 1 results of 1 for search '"ограниченная проверка моделей"', query time: 0.32s Refine Results
  1. 1
    Defect Detection: Combining Bounded Model Checking and Code Contracts
    by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
    Published 2013-01-01
    Subjects: “...ограниченная проверка моделей...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search