Image de couverture de livre

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Vašíček, Ondřej, Arias, Joaquin, Fiedor, Jan, Gupta, Gopal, Hall, Brendan, Křena, Bohuslav, Larson, Brian, Varanasi, Sarat Chandra, Vojnar, Tomáš
Format: Preprint
Publié: 2024
Sujets:
Logic in Computer Science
Software Engineering
Accès en ligne:https://arxiv.org/abs/2408.09909
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2408.09909

Documents similaires