Cite This Page

Jump to navigation Jump to search

Bibliographic details for Black-tie Python: Formal verification with Amaranth

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 05:15, May 2, 2024 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. 2 May 2024, 05:15 <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 2 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=3063 (accessed May 2, 2024).

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 2024 May 2]. 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 May 2, 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=3063",
   note = "[Online; accessed 2-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=3063}",
   note = "[Online; accessed 2-May-2024]"
 }


Retrieved from "https://wiki.f-si.org/index.php?title=Special:CiteThisPage"