R. DeFrancisco

First name

R.

Last name

DeFrancisco
DeFrancisco, R., Cho, S., Ferdman, M., & Smolka, S. A. (2020). Swarm Model Checking on the GPU. International Journal On Software Tools For Technology Transfer.