תמונות העטיפה

Analysis and Transformation of Constrained Horn Clauses for Program Verification

שמור ב:
הוצא לאור ב:arXiv.org (Aug 2, 2021), p. n/a
מחבר ראשי: De Angelis, Emanuele
מחברים אחרים: Fioravanti, Fabio, Gallagher, John P, Hermenegildo, Manuel V, Pettorossi, Alberto, Proietti, Maurizio
יצא לאור:
Cornell University Library, arXiv.org
נושאים:
Logic programming
Program verification (computers)
Transformations
Constraints
Software
Programming languages
גישה מקוונת:Citation/Abstract
Full text outside of ProQuest
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
היה/י הראשונ/ה לכתוב הערה!
צריך להיות מחובר מראש