Towards Logic-Based Verification of JavaScript Programs.

Jos Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene

Browse the full CADE paper archive.