Showing 1 - 2 results of 2 for search '"интерполяция Крейга"', query time: 0.53s 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
  2. 2
    Introduction to CEGAR —Counter-Example Guided Abstraction Refinement
    by M. U. Mandrykin, V. S. Mutilin, A. V. Khoroshilov
    Published 2018-10-01
    Subjects: “...интерполяция крейга...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search