Sökresultat - "крупношаговая операционная семантика"

  • Visar 1 - 1 av 1 resultat
Förfina resultatet
  1. 1
    Omslagsbild
    Academic Journal

    Mechanically Proved Practical Local Null Safety

    A. V. Kogtenkov

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

    Get it

Sökverktyg: