Jaime Navon

Author: Jaime Navon

Publications

Publication period start: 2002
Publication period end: 2002
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
David Stotts
1

Productive Colleagues

Most productive colleagues in number of publications
David Stotts
6

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