Cite This Page

Citation styles for KeY

APA style

KeY. (2018, May 27). zaoniao, . Retrieved 03:09, June 11, 2025 from http://en.zaoniao.it/index.php?title=KeY&oldid=852.

MLA style

"KeY." zaoniao, . 27 May 2018, 14:35 UTC. 11 Jun 2025, 03:09 <http://en.zaoniao.it/index.php?title=KeY&oldid=852>.

MHRA style

zaoniao contributors, 'KeY', zaoniao, , 27 May 2018, 14:35 UTC, <http://en.zaoniao.it/index.php?title=KeY&oldid=852> [accessed 11 June 2025]

Chicago style

zaoniao contributors, "KeY," zaoniao, , http://en.zaoniao.it/index.php?title=KeY&oldid=852 (accessed June 11, 2025).

CBE/CSE style

zaoniao contributors. KeY [Internet]. zaoniao, ; 2018 May 27, 14:35 UTC [cited 2025 Jun 11]. Available from: http://en.zaoniao.it/index.php?title=KeY&oldid=852.

Bluebook style

KeY, http://en.zaoniao.it/index.php?title=KeY&oldid=852 (last visited June 11, 2025).

BibTeX entry

 @misc{ wiki:xxx,
   author = "zaoniao",
   title = "KeY --- zaoniao{,} ",
   year = "2018",
   url = "http://en.zaoniao.it/index.php?title=KeY&oldid=852",
   note = "[Online; accessed 11-June-2025]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:

 @misc{ wiki:xxx,
   author = "zaoniao",
   title = "KeY --- zaoniao{,} ",
   year = "2018",
   url = "\url{http://en.zaoniao.it/index.php?title=KeY&oldid=852}",
   note = "[Online; accessed 11-June-2025]"
 }