Zoekresultaten - Ivan M. Chernenko

  • Toon 1 - 3 resultaten van 3
Verfijn jouw resultaten
Lijst   Tegels  
  1. 1

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

    Gepubliceerd in 2024-12-01
    Volledige tekst
    Artigo
    Toevoegen aan favorieten
    Bewaard in:
  2. 2

    Automation of proving verification conditions in deductive verification system for poST programs door Ivan M. Chernenko, Igor S. Anureev

    Gepubliceerd in 2026-06-01
    Volledige tekst
    Artigo
    Toevoegen aan favorieten
    Bewaard in:
  3. 3

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

    Gepubliceerd in 2024-03-01
    Volledige tekst
    Artigo
    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: