External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Logic-Based Verification of JavaScript Programs

José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene. Towards Logic-Based Verification of JavaScript Programs. In Leonardo de Moura, editor, Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Volume 10395 of Lecture Notes in Computer Science, pages 8-25, Springer, 2017. [doi]

Authors

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google

Petar Maksimovic

This author has not been identified. Look up 'Petar Maksimovic' in Google

Daiva Naudziuniene

This author has not been identified. Look up 'Daiva Naudziuniene' in Google
runs on