Cite This Page
Bibliographic details for Hoare logic
- Page name: Hoare logic
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 15 February 2014 17:26 UTC
- Date retrieved: 28 April 2024 17:45 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446
- Page Version ID: 225446
Citation styles for Hoare logic
APA style
Hoare logic. (2014, February 15). formulasearchengine, . Retrieved 17:45, April 28, 2024 from https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446.
MLA style
"Hoare logic." formulasearchengine, . 15 Feb 2014, 17:26 UTC. 28 Apr 2024, 17:45 <https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446>.
MHRA style
formulasearchengine contributors, 'Hoare logic', formulasearchengine, , 15 February 2014, 17:26 UTC, <https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446> [accessed 28 April 2024]
Chicago style
formulasearchengine contributors, "Hoare logic," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446 (accessed April 28, 2024).
CBE/CSE style
formulasearchengine contributors. Hoare logic [Internet]. formulasearchengine, ; 2014 Feb 15, 17:26 UTC [cited 2024 Apr 28]. Available from: https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446.
Bluebook style
Hoare logic, https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446 (last visited April 28, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Hoare logic --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446", note = "[Online; accessed 28-April-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 = "formulasearchengine", title = "Hoare logic --- formulasearchengine{,} ", year = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225446}", note = "[Online; accessed 28-April-2024]" }