Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 
SpringerLink DE 53.49 EUR
53.49 EUR
08-08-2026 11:38:10
Die Proceedings der 24. CAV‑Konferenz in Berkeley zeigen wegweisende Ansätze zur formalen Verifikation, inklusive Modellprüfungen und Theorem‑Proving, verfasst von internationalen Spitzenforschern.
