Cite This Page
Bibliographic details for Hoare logic
- Page name: Hoare logic
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 13 August 2012 23:57 UTC
- Date retrieved: 5 June 2024 05:05 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445
- Page Version ID: 225445
Citation styles for Hoare logic
APA style
Hoare logic. (2012, August 13). formulasearchengine, . Retrieved 05:05, June 5, 2024 from https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445.
MLA style
"Hoare logic." formulasearchengine, . 13 Aug 2012, 23:57 UTC. 5 Jun 2024, 05:05 <https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445>.
MHRA style
formulasearchengine contributors, 'Hoare logic', formulasearchengine, , 13 August 2012, 23:57 UTC, <https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445> [accessed 5 June 2024]
Chicago style
formulasearchengine contributors, "Hoare logic," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445 (accessed June 5, 2024).
CBE/CSE style
formulasearchengine contributors. Hoare logic [Internet]. formulasearchengine, ; 2012 Aug 13, 23:57 UTC [cited 2024 Jun 5]. Available from: https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445.
Bluebook style
Hoare logic, https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445 (last visited June 5, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Hoare logic --- formulasearchengine{,} ", year = "2012", url = "https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445", note = "[Online; accessed 5-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 = "formulasearchengine", title = "Hoare logic --- formulasearchengine{,} ", year = "2012", url = "\url{https://en.formulasearchengine.com/index.php?title=Hoare_logic&oldid=225445}", note = "[Online; accessed 5-June-2024]" }