Cita APA

Marenchino, M. L. (2011). Implementación de técnicas de derivación de contraejemplos en el model checker PRISM. Web

Citación estilo Chicago

Marenchino, Matías Leandro. Implementación De Técnicas De Derivación De Contraejemplos En El Model Checker PRISM. 2011.

Cita MLA

Marenchino, Matías Leandro. Implementación De Técnicas De Derivación De Contraejemplos En El Model Checker PRISM. 2011.

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