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

שמור ב:
מידע ביבליוגרפי
Main Authors: Batz, Kevin, Katoen, Joost-Pieter, Randone, Francesca, Winkler, Tobias
פורמט: Preprint
יצא לאור: 2025
נושאים:
Logic in Computer Science
Programming Languages
גישה מקוונת:https://arxiv.org/abs/2502.19388
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

אינטרנט

https://arxiv.org/abs/2502.19388

פריטים דומים