Skip to content

Modeling and Verifying for Frameset-Based Web Applications.

Shengbo Chen, Huaikou Miao

Year2011
ProceedingsTASE

Browse the full TASE paper archive.