Cita APA (7a ed.)

Perna, J. I., & George, C. W. (2006). Towards the verification of RAISE specifications through Model Checking.

Cita Chicago Style (17a ed.)

Perna, Juan Ignacio, y Chris W. George. Towards the Verification of RAISE Specifications Through Model Checking. 2006.

Cita MLA (8a ed.)

Perna, Juan Ignacio, y Chris W. George. Towards the Verification of RAISE Specifications Through Model Checking. 2006.