|
|
Cite This Page
Bibliographic details for KeY
- Page name: KeY
- Author: zaoniao contributors
- Publisher: zaoniao, .
- Date of last revision: 27 May 2018 14:35 UTC
- Date retrieved: 15 May 2026 16:08 UTC
- Permanent URL: http://en.zaoniao.it/index.php?title=KeY&oldid=852
- Page Version ID: 852
Citation styles for KeY
APA style
KeY. (2018, May 27). zaoniao, . Retrieved 16:08, May 15, 2026 from http://en.zaoniao.it/index.php?title=KeY&oldid=852.
MLA style
"KeY." zaoniao, . 27 May 2018, 14:35 UTC. 15 May 2026, 16:08 <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 15 May 2026]
Chicago style
zaoniao contributors, "KeY," zaoniao, , http://en.zaoniao.it/index.php?title=KeY&oldid=852 (accessed May 15, 2026).
CBE/CSE style
zaoniao contributors. KeY [Internet]. zaoniao, ; 2018 May 27, 14:35 UTC [cited 2026 May 15]. 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 May 15, 2026).
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 15-May-2026]"
}
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 15-May-2026]"
}
