Project Title (de) Projekttitel (de)
RiSE/SHiNE
 

Publications

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Damestani, David ; Kovacs, Laura ; Suda, Martin ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela Superposition Reasoning about Quantified Bitvector FormulasInproceedings Konferenzbeitrag 15-Apr-2020