A Formal Model

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text

Authors: Kwangsoo Kim

DOI: 10.5281/zenodo.18274702

Cited by: 0

Abstract

All rights reserved. No derivative works, modifications, redistribution, or commercial useare permitted without explicit prior written permission from the author. © 2026 Kwangsoo Kim.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Diverse Interdisciplinary Research Studies

Publication details

Journal / source: Zenodo (CERN European Organization for Nuclear Research)
Publication date: 16 January 2026
Document type: Preprint