Cita APA

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

Citación estilo Chicago

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

Cita MLA

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