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.
Abstract is missing.