16th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2024)

View Statistics Email Alert RSS Feed

Description

Event name
16th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2024)
 
Event type
Event for scientific audience
 
Start date
14-10-2024
End date
15-10-2024
 
Location
Prag
Country
Czech Republic
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura PolySAT: Word-level Bit-vector Reasoning in Z3Inproceedings Konferenzbeitrag 3-May-2025