PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
preprint Open access

AI Contract Programming: Preconditions, Postconditions, and Invariants for Agentic Systems

Iryna IvchenkoОлег Ивченко

  • Zenodo (CERN European Organization for Nuclear Research)
  • European Organization for Nuclear Research
View publisher (opens in a new tab)
Research footprint

At a glance

Citations
0
References
0
Comments
0
Paper overview

Abstract

Research article: AI Contract Programming: Preconditions, Postconditions, and Invariants for Agentic Systems

Record transparency

Publication details

DOI
10.5281/zenodo.21285474
OpenAlex
W7167826602
Document type
preprint
Language
EN
Source
Zenodo (CERN European Organization for Nuclear Research)
Last metadata update
Community

Comments

Log in to join the discussion.

  1. No comments yet. Start the discussion.