Cite This Page

From HandWiki

Bibliographic details for Formal methods

Citation styles for Formal methods

APA style

Formal methods. (2018, March 16). HandWiki, . Retrieved 05:04, April 18, 2024 from https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215.

MLA style

"Formal methods." HandWiki, . 16 Mar 2018, 16:20 UTC. 18 Apr 2024, 05:04 <https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215>.

MHRA style

HandWiki contributors, 'Formal methods', HandWiki, , 16 March 2018, 16:20 UTC, <https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215> [accessed 18 April 2024]

Chicago style

HandWiki contributors, "Formal methods," HandWiki, , https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215 (accessed April 18, 2024).

CBE/CSE style

HandWiki contributors. Formal methods [Internet]. HandWiki, ; 2018 Mar 16, 16:20 UTC [cited 2024 Apr 18]. Available from: https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215.

Bluebook style

Formal methods, https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215 (last visited April 18, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HandWiki",
   title = "Formal methods --- HandWiki{,} ",
   year = "2018",
   url = "https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215",
   note = "[Online; accessed 18-April-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 = "HandWiki",
   title = "Formal methods --- HandWiki{,} ",
   year = "2018",
   url = "\url{https://handwiki.org/wiki/index.php?title=Formal_methods&oldid=8215}",
   note = "[Online; accessed 18-April-2024]"
 }


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