Autor:	Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031223365
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cec4533b4d86a44f293562e60b68db2a https://doi.org/10.1007/978-3-031-22337-2_23 Zobrazit plný text záznamu