Book
Z3str4: A Multi-armed String Solver
| العنوان: | Z3str4: A Multi-armed String Solver |
|---|---|
| المؤلفون: | Mora, Federico, Berzish, Murphy, Kulczynski, Mitja, Nowotka, Dirk, Ganesh, Vijay |
| المصدر: | Formal Methods ; Lecture Notes in Computer Science ; page 389-406 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030908690 9783030908706 |
| بيانات النشر: | Springer International Publishing |
| سنة النشر: | 2021 |
| نوع الوثيقة: | book part |
| اللغة: | unknown |
| ردمك: | 978-3-030-90869-0 978-3-030-90870-6 3-030-90869-0 3-030-90870-4 |
| DOI: | 10.1007/978-3-030-90870-6_21 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-030-90870-6_21 https://link.springer.com/content/pdf/10.1007/978-3-030-90870-6_21 |
| Rights: | https://www.springer.com/tdm ; https://www.springer.com/tdm |
| رقم الانضمام: | edsbas.6221FB5E |
| قاعدة البيانات: | BASE |
| ردمك: | 9783030908690 9783030908706 3030908690 3030908704 |
|---|---|
| DOI: | 10.1007/978-3-030-90870-6_21 |