Cite This Page
Bibliographic details for Libraries and tools/Hardware verification
- Page name: Libraries and tools/Hardware verification
- Author: HaskellWiki contributors
- Publisher: HaskellWiki, .
- Date of last revision: 2 May 2007 18:32 UTC
- Date retrieved: 4 May 2024 22:18 UTC
- Permanent URL: https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787
- Page Version ID: 12787
Citation styles for Libraries and tools/Hardware verification
APA style
Libraries and tools/Hardware verification. (2007, May 2). HaskellWiki, . Retrieved 22:18, May 4, 2024 from https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787.
MLA style
"Libraries and tools/Hardware verification." HaskellWiki, . 2 May 2007, 18:32 UTC. 4 May 2024, 22:18 <https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787>.
MHRA style
HaskellWiki contributors, 'Libraries and tools/Hardware verification', HaskellWiki, , 2 May 2007, 18:32 UTC, <https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787> [accessed 4 May 2024]
Chicago style
HaskellWiki contributors, "Libraries and tools/Hardware verification," HaskellWiki, , https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787 (accessed May 4, 2024).
CBE/CSE style
HaskellWiki contributors. Libraries and tools/Hardware verification [Internet]. HaskellWiki, ; 2007 May 2, 18:32 UTC [cited 2024 May 4]. Available from: https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787.
Bluebook style
Libraries and tools/Hardware verification, https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787 (last visited May 4, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "HaskellWiki", title = "Libraries and tools/Hardware verification --- HaskellWiki{,} ", year = "2007", url = "https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787", note = "[Online; accessed 4-May-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 = "HaskellWiki", title = "Libraries and tools/Hardware verification --- HaskellWiki{,} ", year = "2007", url = "\url{https://wiki.haskell.org/index.php?title=Libraries_and_tools/Hardware_verification&oldid=12787}", note = "[Online; accessed 4-May-2024]" }