Christopher Schuster, Cormac Flanagan. IDVE: an integrated development and verification environment for JavaScript. In Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019. ACM, 2019. [doi]
Abstract is missing.