Cita APA

Lucas Alba, S., & Meseguer, J. (2014). Models for logics and conditional constraints in automated proofs of termination.

Citación estilo Chicago

Lucas Alba, Salvador|||0000-0001-9923-2108, y José Meseguer. Models for Logics and Conditional Constraints in Automated Proofs of Termination. 2014.

Cita MLA

Lucas Alba, Salvador|||0000-0001-9923-2108, y José Meseguer. Models for Logics and Conditional Constraints in Automated Proofs of Termination. 2014.