Deferrability Analysis for JavaScript

Kloos, Johannes and Majumdar, Rupak and McCabe, Frank
(2017) Deferrability Analysis for JavaScript.
In: Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings.

Full text not available from this repository.
Official URL:


Actions (login required)

View Item View Item