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:40 UTC
- Date retrieved: 20 May 2024 09:00 UTC
- Permanent URL: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2990
- Page Version ID: 2990
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 09:00, May 20, 2024 from https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2990.
MLA style
"Black-tie Python: Formal verification with Amaranth." F-Si wiki, . 11 Jul 2023, 09:40 UTC. 20 May 2024, 09:00 <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2990>.
MHRA style
F-Si wiki contributors, 'Black-tie Python: Formal verification with Amaranth', F-Si wiki, , 11 July 2023, 09:40 UTC, <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2990> [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=2990 (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:40 UTC [cited 2024 May 20]. Available from: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=2990.
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=2990 (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=2990", 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=2990}", note = "[Online; accessed 20-May-2024]" }