Cite This Page
Bibliographic details for WG211/M23Kellogg Static Program Reduction via Specification Slicing
- Page name: WG211/M23Kellogg Static Program Reduction via Specification Slicing
- Author: WG 2.11 contributors
- Publisher: WG 2.11, .
- Date of last revision: 15 March 2024 21:55 UTC
- Date retrieved: 8 January 2025 14:20 UTC
- Permanent URL: https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560
- Page Version ID: 2560
Citation styles for WG211/M23Kellogg Static Program Reduction via Specification Slicing
APA style
WG211/M23Kellogg Static Program Reduction via Specification Slicing. (2024, March 15). WG 2.11, . Retrieved 14:20, January 8, 2025 from https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560.
MLA style
"WG211/M23Kellogg Static Program Reduction via Specification Slicing." WG 2.11, . 15 Mar 2024, 21:55 UTC. 8 Jan 2025, 14:20 <https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560>.
MHRA style
WG 2.11 contributors, 'WG211/M23Kellogg Static Program Reduction via Specification Slicing', WG 2.11, , 15 March 2024, 21:55 UTC, <https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560> [accessed 8 January 2025]
Chicago style
WG 2.11 contributors, "WG211/M23Kellogg Static Program Reduction via Specification Slicing," WG 2.11, , https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560 (accessed January 8, 2025).
CBE/CSE style
WG 2.11 contributors. WG211/M23Kellogg Static Program Reduction via Specification Slicing [Internet]. WG 2.11, ; 2024 Mar 15, 21:55 UTC [cited 2025 Jan 8]. Available from: https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560.
Bluebook style
WG211/M23Kellogg Static Program Reduction via Specification Slicing, https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560 (last visited January 8, 2025).
BibTeX entry
@misc{ wiki:xxx,
author = "WG 2.11",
title = "WG211/M23Kellogg Static Program Reduction via Specification Slicing --- WG 2.11{,} ",
year = "2024",
url = "https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560",
note = "[Online; accessed 8-January-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 = "WG 2.11",
title = "WG211/M23Kellogg Static Program Reduction via Specification Slicing --- WG 2.11{,} ",
year = "2024",
url = "\url{https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560}",
note = "[Online; accessed 8-January-2025]"
}
