APA ציטוט

(1995). Rechnerunterstützung formaler Beweissprachen / Matthias Anlauff.

Chicago Style (17th ed.) Citation

Rechnerunterstützung Formaler Beweissprachen / Matthias Anlauff. 1995.

ציטוט MLA

Rechnerunterstützung Formaler Beweissprachen / Matthias Anlauff. 1995.