Análisis semántico y transformación de programas lógico-funcionales.

This item appears in the following Collections