Search Results - "программные контракты"

  • Showing 1 - 2 results of 2
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
  2. 2
    Cover Image
    Academic Journal

    Evolution of UniTESK Test Development Technology

    V. Kuliamin, A. Petrenko

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

    Get it

Search Tools: