Association for Computing Machinery ACM transactions on computational logic New York, NY : Association for Computing Machinery, 2000 23(2022), 4, Artikel-ID 27, Seite 1-39 Online-Ressource
IEEE International Conference on Software Testing, Verification and Validation (15. : 2022 : Online) 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Piscataway, NJ : IEEE, 2022 (2022), Seite 12-23 1 Online-Ressource
IEEE International Conference on Software Testing, Verification and Validation (15. : 2022 : Online) 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Piscataway, NJ : IEEE, 2022 (2022), Seite 162-173 1 Online-Ressource
Logical methods in computer science Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2004 18(2022), 3, Artikel-ID 7 Online-Ressource
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering New York,NY,United States : Association for Computing Machinery, 2022 (2022) 1 online resource (2006 pages)