Browsing by Sponsor/Funder Facebook
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
15-Jun-2020 | Gillian, Part I: a multi-language platform for symbolic execution | Fragoso Santos, J; Maksimović, P; Ayoun, S-E; Gardner, P; , et al |
- | Gillian, Part II: Real-World Verification for JavaScript and C | Maksimovic, P; Fragoso Santos, J; Ayoun, SE; Gardner, P; , et al |