Cita APA

Cardoso, M. A. (1997). Implementación de un model checker para lógicas modales en Haskell. Web

Citación estilo Chicago

Cardoso, Marco A. Implementación De Un Model Checker Para Lógicas Modales En Haskell. 1997.

Cita MLA

Cardoso, Marco A. Implementación De Un Model Checker Para Lógicas Modales En Haskell. 1997.

Precaución: Estas citas no son 100% exactas.