{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:12Z","timestamp":1725512112017},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724834"},{"type":"electronic","value":"9783540725244"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72524-4_83","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T20:15:32Z","timestamp":1182802532000},"page":"813-820","source":"Crossref","is-referenced-by-count":2,"title":["A Type-Based Analysis for Verifying Web Application"],"prefix":"10.1007","author":[{"given":"Woosung","family":"Jung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunjoo","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kapsu","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chisu","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"83_CR1","doi-asserted-by":"crossref","unstructured":"Tonella, P., Ricca, F.: A 2-Layer Model for the White-Box Testing of Web Applications. In: Proc. of the 6th IEEE International Workshop on Web Site Evolution (2004)","DOI":"10.1109\/WSE.2004.10012"},{"key":"83_CR2","doi-asserted-by":"crossref","unstructured":"Harmelen, F., Meer, J.: Webmaster: Knowledge-based Verification of Web Pages. In: Proc. of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (1999)","DOI":"10.1007\/978-3-540-48765-4_29"},{"key":"83_CR3","unstructured":"Despeyroux, T., Trousse, B.: Semantic Verification of Web Sites Using Natural Semantics. In: Proc. of the 6th Conference on Content-Based Multimedia Information Access (2000)"},{"key":"83_CR4","doi-asserted-by":"crossref","unstructured":"Despeyroux, T.: Practical Semantic Analysis of Web Sites and Documents. In: Proc. of the 13th Conference on World Wide Web (2004)","DOI":"10.1145\/988672.988766"},{"key":"83_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45431-4_4","volume-title":"Next Generation Information Technologies and Systems","author":"D. Draheim","year":"2002","unstructured":"Draheim, D., Weber, G.: Strongly Typed Server Pages. In: Halevy, A.Y., Gal, A. (eds.) NGITS 2002. LNCS, vol.\u00a02382, p. 29. Springer, Heidelberg (2002)"},{"key":"83_CR6","unstructured":"http:\/\/www.antlr.org\/"},{"key":"83_CR7","unstructured":"http:\/\/tidy.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Data and Web Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72524-4_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:40:07Z","timestamp":1619516407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72524-4_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724834","9783540725244"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72524-4_83","relation":{},"subject":[]}}