Towards Logic-Based Verification of JavaScript Programs

Automated Deduction – CADE 26 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63046-5_2 ◽

2017 ◽

pp. 8-25 ◽

Cited By ~ 2

Author(s):

José Fragoso Santos ◽

Philippa Gardner ◽

Petar Maksimović ◽

Daiva Naudžiūnienė

Download Full-text