Chapter title |
SL-COMP: Competition of Solvers for Separation Logic
|
---|---|
Chapter number | 8 |
Book title |
Tools and Algorithms for the Construction and Analysis of Systems
|
Published by |
Springer, Cham, April 2019
|
DOI | 10.1007/978-3-030-17502-3_8 |
Book ISBNs |
978-3-03-017501-6, 978-3-03-017502-3
|
Authors |
Mihaela Sighireanu, Juan A. Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu, Sighireanu, Mihaela, Navarro Pérez, Juan A., Rybalchenko, Andrey, Gorogiannis, Nikos, Iosif, Radu, Reynolds, Andrew, Serban, Cristina, Katelaan, Jens, Matheja, Christoph, Noll, Thomas, Zuleger, Florian, Chin, Wei-Ngan, Le, Quang Loc, Ta, Quang-Trung, Le, Ton-Chanh, Nguyen, Thanh-Toan, Khoo, Siau-Cheng, Cyprian, Michal, Rogalewicz, Adam, Vojnar, Tomas, Enea, Constantin, Lengal, Ondrej, Gao, Chong, Wu, Zhilin |
Mendeley readers
Geographical breakdown
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Researcher | 1 | 25% |
Student > Master | 1 | 25% |
Unknown | 2 | 50% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 2 | 50% |
Unknown | 2 | 50% |