Cita APA (7a ed.)
Bernhard Beckert, R. H. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino. Springer.
Cita estilo Chicago (17a ed.)
Bernhard Beckert, Reiner Hähnle. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Bernhard Beckert, Reiner Hähnle. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.