- Artículo:
Logics and Meanings of Programs
- Página:
83 y 117
- Sección:
Theory of Computation
- Publicación:
Computing Reviews
- Volúmen:
50
- Número:
2
- Periodo:
February 2009
- ISSN:
00104884
- SrcID:
00104884-2009-02.txt
- Documento número 538304
- Actualizado el martes, 10 de julio de 2018 10:13:40 a. m.
- Creado el martes, 10 de julio de 2018 10:13:40 a. m.
- Enlace directo
