T. Gros, D. Groß, S. Gumhold, J. Hoffmann, M. Klauck, und M. Steinmetz. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, Seite 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
A. Hannemann, J. Ewald, L. Seeger, und E. Buchmann. Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV, Seite 279–293. Berlin, Heidelberg, Springer-Verlag, (2024)
A. Agazzi, J. Lu, und S. Mukherjee. Proceedings of the 40th International Conference on Machine Learning, Volume 202 von Proceedings of Machine Learning Research, Seite 196--227. PMLR, (23--29 Jul 2023)