Cita APA

(2016). Deductive software verification - the KeY book: From theory to practice.

Citación estilo Chicago

Deductive Software Verification - the KeY Book: From Theory to Practice. 2016.

Cita MLA

Deductive Software Verification - the KeY Book: From Theory to Practice. 2016.