Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/96780
Título: | Automatic verification of programs: algorithm ALICE |
---|---|
Autor/a: | Palasí Lallana, Vicent Ramon |
Abstract: | |
Materia(s): | -Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -ALICE -Algorithm -Verification -Algebraic spacification -Correctness |
Derechos: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento: | Artículo - Versión publicada Informe |
Compartir: |