Search alternatives:
"interactive theorem proving" » "interactive theorem improving" (Expand Search), "interactive theorem providing" (Expand Search)
Showing 1 - 1 results of 1 for search '"interactive theorem proving"', query time: 0.08s Refine Results
  1. 1
    Deductive Verification of the Sliding Window Protocol

    Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

    Published 2015-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: