Author: Jaime Navon
Publications
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