Search Results - Ivan M. Chernenko

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms

    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

    Published 2024-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Requirement patterns in deductive verification of poST Programs

    Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

    Published 2024-03-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: