J

javert-popl19-artifact

Project information

Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner

3 Commits
1 Branch
0 Tags

README

Created on

October 16, 2018

Loading