Cite This Page

Bibliographic details for Dafny

  • Page name: Dafny
  • Author: Rosetta Code contributors
  • Publisher: Rosetta Code.
  • Date of last revision: 4 May 2017 19:19 UTC
  • Date retrieved: 10 June 2024 14:21 UTC
  • Permanent URL: https://rosettacode.org/wiki/Dafny?oldid=275304
  • Page Version ID: 275304

Citation styles for Dafny

APA style

Dafny. (2017, May 4). Rosetta Code. Retrieved 14:21, June 10, 2024 from https://rosettacode.org/wiki/Dafny?oldid=275304.

MLA style

"Dafny." Rosetta Code. 4 May 2017, 19:19 UTC. 10 Jun 2024, 14:21 <https://rosettacode.org/wiki/Dafny?oldid=275304>.

MHRA style

Rosetta Code contributors, 'Dafny', Rosetta Code, 4 May 2017, 19:19 UTC, <https://rosettacode.org/wiki/Dafny?oldid=275304> [accessed 10 June 2024]

Chicago style

Rosetta Code contributors, "Dafny," Rosetta Code, https://rosettacode.org/wiki/Dafny?oldid=275304 (accessed June 10, 2024).

CBE/CSE style

Rosetta Code contributors. Dafny [Internet]. Rosetta Code; 2017 May 4, 19:19 UTC [cited 2024 Jun 10]. Available from: https://rosettacode.org/wiki/Dafny?oldid=275304.

Bluebook style

Dafny, https://rosettacode.org/wiki/Dafny?oldid=275304 (last visited June 10, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "Dafny --- Rosetta Code{,} ",
   year = "2017",
   url = "https://rosettacode.org/wiki/Dafny?oldid=275304",
   note = "[Online; accessed 10-June-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 = "Rosetta Code",
   title = "Dafny --- Rosetta Code{,} ",
   year = "2017",
   url = "\url{https://rosettacode.org/wiki/Dafny?oldid=275304}",
   note = "[Online; accessed 10-June-2024]"
 }


Retrieved from "https://rosettacode.org/wiki/Special:CiteThisPage"