TY  - GEN
AU  - Lorido Sánchez , Luis
AU  - Palazuelo Bretón, Luis
AU  - Romero Córdoba, Sergio
AU  - Serna Gil, José Luis
A4  - Frutos Escrig, David
PY  - 2003
UR  - https://hdl.handle.net/20.500.14352/61148
AB  - El comercio electrónico es, sin lugar a dudas uno de los campos de la informáticaaplicada de mayor actualidad y previsible crecimiento en los próximos años. El mismoexige la producción de un software con garantías de seguridad que facilite la...
LA  - spa
TI  - Utilización de herramientas basadas enMétodos Formales para el desarrollo desistemas de comercio electrónico
TY  - coursework
ER  -