David Crocker, John H. Warren. Generating commercial web applications from precise requirements and formal specifications. In María Alpuente, Santiago Escobar, Moreno Falaschi, editors, First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Volume DSIC-II/03/05 of pages 27-32, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, 2005.
@inproceedings{CrockerW05,
title = {Generating commercial web applications from precise requirements and formal specifications},
author = {David Crocker and John H. Warren},
year = {2005},
tags = {web applications},
researchr = {https://researchr.org/publication/CrockerW05},
cites = {0},
citedby = {0},
pages = {27-32},
booktitle = {First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain},
editor = {María Alpuente and Santiago Escobar and Moreno Falaschi},
volume = {DSIC-II/03/05},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia},
}