Cover von Computer Aided Verification opens in new tab

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings
2024
Berlin, Springer
Series: Lecture notes in computer science; 14681/14683
Media group: GESAMTWERK
Volumes

Content

International Conference on Computer Aided Verification <36, 2024, Montreal>

Details

Search for this author
Year: 2024
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; 14681/14683
Participating parties: Search for this character Gurfinkel, Arie; Ganesh, Vijay
Media group: GESAMTWERK