APA

Diller M., . (2019). Hacia un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación. : .

Chicago

Diller Martín, . 2019. Hacia un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación. : .

Harvard

Diller M., . (2019). Hacia un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación. : .

MLA

Diller Martín, . Hacia un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación. : . 2019.