Name Card

Full name Familienname, Vorname
Takashima, Yoshiki
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023