Cita APA

Perna, J. I., & George, C. W. (2006). Model checking RAISE applicative specifications. Web

Citación estilo Chicago

Perna, Juan I., and Chris W. George. Model Checking RAISE Applicative Specifications. 2006.

Cita MLA

Perna, Juan I., and Chris W. George. Model Checking RAISE Applicative Specifications. 2006.