DOM: Specification and Client Reasoning

Azalea Raad, José Fragoso Santos, Philippa Gardner. DOM: Specification and Client Reasoning. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 401-422, 2016. [doi]


No references recorded for this publication.

Cited by

No citations of this publication recorded.