Pontificia Universidad Católica de Chile

Home » Publicaciones » Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

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 DCC

Model Checking CobWeb Protocols for Verification of HTML Frames Behavior

Abstract