Search Results - "итеративное уточнение модели на основе контрпримеров"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image
    Academic Journal

    Verification and analysis of variable operating systems

    V. V. Kuliamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko

    Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 189-208 (2018)

    Get it

Search Tools: