Cite This Page

From HandWiki

Bibliographic details for Philosophy:Counterexample-guided abstraction refinement

Citation styles for Philosophy:Counterexample-guided abstraction refinement

APA style

Philosophy:Counterexample-guided abstraction refinement. (2024, February 5). HandWiki, . Retrieved 03:44, October 7, 2024 from https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866.

MLA style

"Philosophy:Counterexample-guided abstraction refinement." HandWiki, . 5 Feb 2024, 12:51 UTC. 7 Oct 2024, 03:44 <https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866>.

MHRA style

HandWiki contributors, 'Philosophy:Counterexample-guided abstraction refinement', HandWiki, , 5 February 2024, 12:51 UTC, <https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866> [accessed 7 October 2024]

Chicago style

HandWiki contributors, "Philosophy:Counterexample-guided abstraction refinement," HandWiki, , https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866 (accessed October 7, 2024).

CBE/CSE style

HandWiki contributors. Philosophy:Counterexample-guided abstraction refinement [Internet]. HandWiki, ; 2024 Feb 5, 12:51 UTC [cited 2024 Oct 7]. Available from: https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866.

Bluebook style

Philosophy:Counterexample-guided abstraction refinement, https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866 (last visited October 7, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HandWiki",
   title = "Philosophy:Counterexample-guided abstraction refinement --- HandWiki{,} ",
   year = "2024",
   url = "https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866",
   note = "[Online; accessed 7-October-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 = "Philosophy:Counterexample-guided abstraction refinement --- HandWiki{,} ",
   year = "2024",
   url = "\url{https://handwiki.org/wiki/index.php?title=Philosophy:Counterexample-guided_abstraction_refinement&oldid=3286866}",
   note = "[Online; accessed 7-October-2024]"
 }


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