|
|
Cite This Page
Bibliographic details for KeY
- Page name: KeY
- Author: zaoniao contributors
- Publisher: zaoniao, .
- Date of last revision: 23 February 2019 13:03 UTC
- Date retrieved: 2 July 2026 16:20 UTC
- Permanent URL: http://en.zaoniao.it/index.php?title=KeY&oldid=1006
- Page Version ID: 1006
Citation styles for KeY
APA style
KeY. (2019, February 23). zaoniao, . Retrieved 16:20, July 2, 2026 from http://en.zaoniao.it/index.php?title=KeY&oldid=1006.
MLA style
"KeY." zaoniao, . 23 Feb 2019, 13:03 UTC. 2 Jul 2026, 16:20 <http://en.zaoniao.it/index.php?title=KeY&oldid=1006>.
MHRA style
zaoniao contributors, 'KeY', zaoniao, , 23 February 2019, 13:03 UTC, <http://en.zaoniao.it/index.php?title=KeY&oldid=1006> [accessed 2 July 2026]
Chicago style
zaoniao contributors, "KeY," zaoniao, , http://en.zaoniao.it/index.php?title=KeY&oldid=1006 (accessed July 2, 2026).
CBE/CSE style
zaoniao contributors. KeY [Internet]. zaoniao, ; 2019 Feb 23, 13:03 UTC [cited 2026 Jul 2]. Available from: http://en.zaoniao.it/index.php?title=KeY&oldid=1006.
Bluebook style
KeY, http://en.zaoniao.it/index.php?title=KeY&oldid=1006 (last visited July 2, 2026).
BibTeX entry
@misc{ wiki:xxx,
author = "zaoniao",
title = "KeY --- zaoniao{,} ",
year = "2019",
url = "http://en.zaoniao.it/index.php?title=KeY&oldid=1006",
note = "[Online; accessed 2-July-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 = "2019",
url = "\url{http://en.zaoniao.it/index.php?title=KeY&oldid=1006}",
note = "[Online; accessed 2-July-2026]"
}
