Cita APA

(1988). Program correctness over abstract data types, with error-state semantics / J.V. Tucker, J.I. Zucker.

Citación estilo Chicago

Program Correctness over Abstract Data Types, with Error-state Semantics / J.V. Tucker, J.I. Zucker. 1988.

Cita MLA

Program Correctness over Abstract Data Types, with Error-state Semantics / J.V. Tucker, J.I. Zucker. 1988.

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