4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Udine (Italy), November 28, 2022: hosted by the The 21st International Conference o...

Bibliographic Details

Authors and Corporations:	Geatti, Luca (Editor), Sciavicco, Guido (Editor), Umbrico, Alessandro (Editor), Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Udine (Author)
Other Authors:	Geatti, Luca [Editor] • Sciavicco, Guido [Editor] • Umbrico, Alessandro [Editor]
Type of Resource:	E-Book Conference Proceedings
Language:	English
published:	[Aachen, Germany] [RWTH Aachen] 2022-12-28
Series:	AI*IA series CEUR workshop proceedings ; vol-3311
Subjects:	Konferenzschrift
Source:	Verbunddaten SWB Lizenzfreie Online-Ressourcen
License:	Namensnennung 4.0 International (CC BY 4.0)