BibTeX record journals/entcs/RiouxC06

• > Home > journals/entcs/RiouxC06

@inproceedings{DBLP:journals/entcs/RiouxC06,
  author       = {Fr{\'{e}}d{\'{e}}ric Rioux and
                  Patrice Chalin},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Improving the Quality of Web-based Enterprise Applications with Extended
                  Static Checking: {A} Case Study},
  booktitle    = {Proceedings of the International Workshop on Automated Specification
                  and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
                  14-15, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {157},
  number       = {2},
  pages        = {119--132},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.050},
  doi          = {10.1016/J.ENTCS.2005.12.050},
  timestamp    = {Fri, 20 Jan 2023 11:43:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RiouxC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}