Cita APA

Palasí Lallana, V. R. (1995). Automatic deduction of the behavioral equivalence between two algebraic specifications.

Citación estilo Chicago

Palasí Lallana, Vicent Ramon. Automatic Deduction of the Behavioral Equivalence between Two Algebraic Specifications. 1995.

Cita MLA

Palasí Lallana, Vicent Ramon. Automatic Deduction of the Behavioral Equivalence between Two Algebraic Specifications. 1995.

Precaución: Estas citas no son 100% exactas.