Cover von Computer Aided Verification opens in new tab

Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings
2026
Berlin, Springer
Series: Lecture notes in computer science; 16682/16684
Media group: GESAMTWERK
Volumes

Content

International Conference on Computer Aided Verification <38, 2026, Lisbon>

Details

Search for this author
Year: 2026
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Description: 3 Volumes
Series: Lecture notes in computer science; 16682/16684
Participating parties: Search for this character Darulova, Eva; Lin, Anthony Widjaja; Rümmer, Philipp
Media group: GESAMTWERK