3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Petar Maksimović, José Fragoso Santos, Sacha-Élie Ayoun +1
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.