Author: Jaime Navon
Publication Overview
Publication period start: 2002
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Stotts,
David,
Navon,
Jaime
(2002):
Model checking cobweb protocols for verification of HTML frames behavior.
In:
Proceedings of the 2002 International Conference on the World Wide Web
,
2002,
.
pp. 182-190.
https://doi.acm.org/10.1145/511446.511470