Bibliographic details for "a:formal_verification"

• Page name: a:formal_verification
• Author: Anonymous Contributors
• Publisher: Alexandria.
• Date of this revision: 1 January 1970 00:00 GMT
• Date retrieved: 8 December 2025 06:14 GMT
• Permanent URL: http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0
• Page Version ID: 0

Please remember to check your manual of style, standards guide or instructor's guidelines for the exact syntax to suit your needs.

a:formal_verification. (1970, Jan 1). In Alexandria. Retrieved 06:14, December 8, 2025, from http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0.

Anonymous Contributors. "a:formal_verification". Alexandria. 1 Jan. 1970. Web. 8 Dec. 2025, 06:14

Anonymous Contributors, 'a:formal_verification', Alexandria, 1 January 1970, 00:00 GMT, <http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0> [Accessed 8 December 2025]

Anonymous Contributors, "a:formal_verification", Alexandria, http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0 (Accessed December 8, 2025).

Anonymous Contributors. a:formal_verification [Internet]. Alexandria; 1970 Jan 1, 00:00 GMT [Cited 2025 Dec 8]. Available at: http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0.

a:formal_verification, http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0 (Last visited December 8, 2025).

Anonymous Contributors. a:formal_verification. Alexandria. January 1, 1970, 00:00 GMT. Available at: http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0. Accessed December 8, 2025.

 @misc{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "a:formal_verification --- Alexandria",
   year = "1970",
   url = "http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0",
   note = "[Online; accessed 8-December-2025]"
 }
  

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 = "Anonymous Contributors",
   title = "a:formal_verification --- Alexandria",
   year = "1970",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0}",
   note = "[Online; accessed 8-December-2025]"


   author = "Anonymous Contributors",
   title = "a:formal_verification --- Alexandria",
   year = "1970",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:formal_verification&rev=0}",
   note = "[Online; accessed 8-December-2025]"
 }
  

Markup

[[a:formal_verification|a:formal_verification]] ([[a:formal_verification?rev=0|this version]])

Result

a:formal_verification (this version)