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: 28 July 2023 20:21 UTC
Date retrieved: 11 December 2023 01:52 UTC
Permanent URL: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=3063
Page Version ID: 3063

Citation styles for Black-tie Python: Formal verification with Amaranth

APA style

Black-tie Python: Formal verification with Amaranth. (2023, July 28). F-Si wiki, . Retrieved 01:52, December 11, 2023 from https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=3063.

MLA style

"Black-tie Python: Formal verification with Amaranth." F-Si wiki, . 28 Jul 2023, 20:21 UTC. 11 Dec 2023, 01:52 <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=3063>.

MHRA style

F-Si wiki contributors, 'Black-tie Python: Formal verification with Amaranth', F-Si wiki, , 28 July 2023, 20:21 UTC, <https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=3063> [accessed 11 December 2023]

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=3063 (accessed December 11, 2023).

CBE/CSE style

F-Si wiki contributors. Black-tie Python: Formal verification with Amaranth [Internet]. F-Si wiki, ; 2023 Jul 28, 20:21 UTC [cited 2023 Dec 11]. Available from: https://wiki.f-si.org/index.php?title=Black-tie_Python:_Formal_verification_with_Amaranth&oldid=3063.

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=3063 (last visited December 11, 2023).

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=3063",
   note = "[Online; accessed 11-December-2023]"
 }

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=3063}",
   note = "[Online; accessed 11-December-2023]"
 }