Modeling and Verifying Web Browser Interactions

Shengbo Chen, Huaikou Miao, Zhong-sheng Qian. Modeling and Verifying Web Browser Interactions. In 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China. pages 351-358, IEEE, 2008. [doi]

Abstract

Abstract is missing.