Automated Reasoning Symposium Technical Talk

Event name
Automated Reasoning Symposium Technical Talk
 
Event type
Event for scientific audience
 
Start date
02-02-2023
End date
02-02-2023
 
Country
United States
 
Organizing institution Veranstaltende Institution
Amazon
Event format Veranstaltungsformat
Online

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Christaki, Maria Rigorous Software EngineeringPresentation Vortrag2-Feb-2023