Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Engel, C. [ca. 2009]. Deductive verification of safety-critical Java programs [Cd]. https://doi.org/urn:nbn:de:swb:90-140874

ISO-690 (author-date, English)

ENGEL, Christian, 2009. Deductive verification of safety-critical Java programs.

Modern Language Association 9th edition

Engel, C. Deductive verification of safety-critical Java programs. cd, 2009, https://doi.org/urn:nbn:de:swb:90-140874.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Engel, C. (2009), Deductive verification of safety-critical Java programs, verfügbar unter:https://doi.org/urn:nbn:de:swb:90-140874.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.