Cite This Page
Bibliographic details for Invariant-based programming
- Page name: Invariant-based programming
- Author: HandWiki contributors
- Publisher: HandWiki, .
- Date of last revision: 3 August 2023 18:50 UTC
- Date retrieved: 8 June 2024 10:29 UTC
- Permanent URL: https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742
- Page Version ID: 3170742
Citation styles for Invariant-based programming
APA style
Invariant-based programming. (2023, August 3). HandWiki, . Retrieved 10:29, June 8, 2024 from https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742.
MLA style
"Invariant-based programming." HandWiki, . 3 Aug 2023, 18:50 UTC. 8 Jun 2024, 10:29 <https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742>.
MHRA style
HandWiki contributors, 'Invariant-based programming', HandWiki, , 3 August 2023, 18:50 UTC, <https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742> [accessed 8 June 2024]
Chicago style
HandWiki contributors, "Invariant-based programming," HandWiki, , https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742 (accessed June 8, 2024).
CBE/CSE style
HandWiki contributors. Invariant-based programming [Internet]. HandWiki, ; 2023 Aug 3, 18:50 UTC [cited 2024 Jun 8]. Available from: https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742.
Bluebook style
Invariant-based programming, https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742 (last visited June 8, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "HandWiki", title = "Invariant-based programming --- HandWiki{,} ", year = "2023", url = "https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742", note = "[Online; accessed 8-June-2024]" }
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 = "HandWiki", title = "Invariant-based programming --- HandWiki{,} ", year = "2023", url = "\url{https://handwiki.org/wiki/index.php?title=Invariant-based_programming&oldid=3170742}", note = "[Online; accessed 8-June-2024]" }