Cite This Page
Bibliographic details for Formal methods
- Page name: Formal methods
- Author: HandWiki contributors
- Publisher: HandWiki, .
- Date of last revision: 16 March 2018 16:20 UTC
- Date retrieved: 18 April 2024 05:04 UTC
- Permanent URL: https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215
- Page Version ID: 8215
Citation styles for Formal methods
APA style
Formal methods. (2018, March 16). HandWiki, . Retrieved 05:04, April 18, 2024 from https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215.
MLA style
"Formal methods." HandWiki, . 16 Mar 2018, 16:20 UTC. 18 Apr 2024, 05:04 <https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215>.
MHRA style
HandWiki contributors, 'Formal methods', HandWiki, , 16 March 2018, 16:20 UTC, <https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215> [accessed 18 April 2024]
Chicago style
HandWiki contributors, "Formal methods," HandWiki, , https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215 (accessed April 18, 2024).
CBE/CSE style
HandWiki contributors. Formal methods [Internet]. HandWiki, ; 2018 Mar 16, 16:20 UTC [cited 2024 Apr 18]. Available from: https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215.
Bluebook style
Formal methods, https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215 (last visited April 18, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "HandWiki", title = "Formal methods --- HandWiki{,} ", year = "2018", url = "https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215", note = "[Online; accessed 18-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 = "HandWiki", title = "Formal methods --- HandWiki{,} ", year = "2018", url = "\url{https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215}", note = "[Online; accessed 18-April-2024]" }