Sökresultat - "формальный логический язык"

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

    First order logic to set requirements for secure code execution

    A. V. Kozachok

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

    Get it

Sökverktyg: