3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021: hosted by the the Twelfth International Symposiu...

Bibliographic Details

Authors and Corporations:	Della Monica, Dario (Editor), Pozzato, Gian Luca (Editor), Scala, Enrico (Editor), Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis Padua; Online (Author)
Other Authors:	Della Monica, Dario [Editor] • Pozzato, Gian Luca [Editor] • Scala, Enrico [Editor]
Type of Resource:	E-Book Conference Proceedings
Language:	English
published:	[Aachen, Germany] [RWTH Aachen] 2021-10-17
Series:	CEUR workshop proceedings ; vol-2987
Subjects:	Konferenzschrift
Contents/pieces:	19 records
Source:	Verbunddaten SWB Lizenzfreie Online-Ressourcen
License:	Namensnennung 4.0 International (CC BY 4.0)