Formal Reasoning about Financial Systems

Event name
Formal Reasoning about Financial Systems
 
Event type
Event for scientific audience
 
Start date
01-09-2022
End date
01-09-2022
 
Location
Stanford
Country
United States
 
Conference Track
Single Track
Event format Veranstaltungsformat
Hybrid

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022