@INPROCEEDINGS{Schoenberg2009WWV,
author = {Schönberg, Christian and Jaksic, Mirjana and Weitl, Franz and Freitag, Burkhard},
booktitle = {Proc. of the 5th International Workshop on Automated Specification and Verification of Web Systems (WWV 09)},
title = {Verification of Web-Content: A Case Study on Technical Documentation},
year = {2009}
}