Article citationsMore>>
Chalupa, M., Jasek, T., Movak, J., Rechtackova, A., Sokova, V. and Strejcek, J. (2021) Symbiotic 8: Beyond Symbolic Execution. In: Groote, J.F. and Larsen, K.G., Eds., TACAS 2021: Tools and Algorithms for the Construction and Analysis of Systems, Springer, Cham, 453-457.
https://doi.org/10.1007/978-3-030-72013-1_31
has been cited by the following article:
Related Articles:
-
Casimir Komenan
-
Emerson Abraham Jackson, Edmund Tamuke, Abdulai Sillah
-
Liliana del Carmen Morillo Acosta, Nancy del Rocio Flores Hinojosa
-
Ma. Natalia A. Ciasico
-
Ngozi Grace Emordi, Iweriolor Sunday, Onyekpe Basil Obimma