Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


138149 Treffer


× Publikationen






  • Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
  • On the Verification of the Correctness of a Subgraph Construction Algorithm
  • Rayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325