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

Faithfull, A., Bengtson, J., Tassi, E., & Tankink, C. (2018). Coqoon: An IDE for interactive proof development in Coq. International Journal on Software Tools for Technology Transfer, 20(2), 125-137. https://doi.org/10.1007/s10009-017-0457-2

ISO-690 (author-date, English)

FAITHFULL, Alexander, BENGTSON, Jesper, TASSI, Enrico und TANKINK, Carst, 2018. Coqoon: An IDE for interactive proof development in Coq. International Journal on Software Tools for Technology Transfer. 1 April 2018. Vol. 20, no. 2, p. 125-137. DOI 10.1007/s10009-017-0457-2.

Modern Language Association 9th edition

Faithfull, A., J. Bengtson, E. Tassi, und C. Tankink. „Coqoon: An IDE for Interactive Proof Development in Coq.“. International Journal on Software Tools for Technology Transfer, Bd. 20, Nr. 2, April 2018, S. 125-37, https://doi.org/10.1007/s10009-017-0457-2.

Mohr Siebeck - Recht (Deutsch - Österreich)

Faithfull, Alexander/Bengtson, Jesper/Tassi, Enrico/Tankink, Carst: Coqoon: An IDE for interactive proof development in Coq., International Journal on Software Tools for Technology Transfer 2018, 125-137.

Emerald - Harvard

Faithfull, A., Bengtson, J., Tassi, E. und Tankink, C. (2018), „Coqoon: An IDE for interactive proof development in Coq.“, International Journal on Software Tools for Technology Transfer, Vol. 20 No. 2, S. 125-137.

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