JaVerT: JavaScript Verification and Testing Framework: Invited Talk

Philippa Gardner. JaVerT: JavaScript Verification and Testing Framework: Invited Talk. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]

Authors

Philippa Gardner

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