Cite This Page
Bibliographic details for Black-tie Python: Formal verification with Amaranth
- Page name: Black-tie Python: Formal verification with Amaranth
- Author: F-Si wiki contributors
- Publisher: F-Si wiki, .
- Date of last revision: 11 July 2023 09:44 UTC
- Date retrieved: 20 May 2024 04:51 UTC
- Permanent URL: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992
- Page Version ID: 2992
Citation styles for Black-tie Python: Formal verification with Amaranth
APA style
Black-tie Python: Formal verification with Amaranth. (2023, July 11). F-Si wiki, . Retrieved 04:51, May 20, 2024 from https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992.
MLA style
"Black-tie Python: Formal verification with Amaranth." F-Si wiki, . 11 Jul 2023, 09:44 UTC. 20 May 2024, 04:51 <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992>.
MHRA style
F-Si wiki contributors, 'Black-tie Python: Formal verification with Amaranth', F-Si wiki, , 11 July 2023, 09:44 UTC, <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992> [accessed 20 May 2024]
Chicago style
F-Si wiki contributors, "Black-tie Python: Formal verification with Amaranth," F-Si wiki, , https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992 (accessed May 20, 2024).
CBE/CSE style
F-Si wiki contributors. Black-tie Python: Formal verification with Amaranth [Internet]. F-Si wiki, ; 2023 Jul 11, 09:44 UTC [cited 2024 May 20]. Available from: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992.
Bluebook style
Black-tie Python: Formal verification with Amaranth, https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992 (last visited May 20, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "F-Si wiki", title = "Black-tie Python: Formal verification with Amaranth --- F-Si wiki{,} ", year = "2023", url = "https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992", note = "[Online; accessed 20-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 = "F-Si wiki", title = "Black-tie Python: Formal verification with Amaranth --- F-Si wiki{,} ", year = "2023", url = "\url{https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2992}", note = "[Online; accessed 20-May-2024]" }