Pontificia Universidad Católica de Chile Pontificia Universidad Católica de Chile
Stotts D. Navon J. (2003) Model Checking CobWeb Protocols for Verification of HTML Frames Behavior Proceedings of the 11th International World Wide Web Conference, Honolulu, Hawaii (2003)

Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

Tipo de publicación : Conferencia No A*

Abstract