Search Results - "интеграция методов верификации"

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

    Integration Points of Operating System Verification Techniques

    A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov

    Труды Института системного программирования РАН, Vol 27, Iss 5, Pp 175-190 (2018)

    Get it

Search Tools: