Found 6 Documents (Results 1–6)
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution. (English) Zbl 1395.68093
Algorithmic debugging generalized. (English) Zbl 1395.68094
MSC:
68N30
Multiparty session types, beyond duality. (English) Zbl 1395.68199
MSC:
68Q85
Filter Results by …
all
top 5
Author
- Desharnais, Jules (1)
- Diallo, Nafi (1)
- Diskin, Zinovy (1)
- Frohn, Florian (1)
- Ghardallou, Wided (1)
- Giesl, Jürgen (1)
- Hensel, Jera (1)
- Insa, David (1)
- Maibaum, Thomas Stephen Edward (1)
- Mili, Ali (1)
- Safilian, Aliakbar (1)
- Santocanale, Luigi (1)
- Scalas, Alceste (1)
- Silva, Josep (1)
- Ströder, Thomas (1)
- Yoshida, Nobuko (1)