APA Citation

Peña Marí, R., & Alonso de Armiño Pérez, L. (1988). Specification and verification of TCSP systems by means of partial abstract types.

Chicago Style Citation

Peña Marí, Ricardo, and Luís Alonso de Armiño Pérez. Specification and Verification of TCSP Systems By Means of Partial Abstract Types. 1988.

MLA Citation

Peña Marí, Ricardo, and Luís Alonso de Armiño Pérez. Specification and Verification of TCSP Systems By Means of Partial Abstract Types. 1988.

Warning: These citations may not always be 100% accurate.