Diversity-driven automated formal verification

Autor:	Emily First, Yuriy Brun
Rok vydání:	2022
Zdroj:	Proceedings of the 44th International Conference on Software Engineering.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0dce95cc888eb6dcb2bbbae48839c8a7 https://doi.org/10.1145/3510003.3510138 Zobrazit plný text záznamu