Deprecated: Use of MediaWiki\Skin\Skin::appendSpecialPagesLinkIfAbsent was deprecated in MediaWiki 1.44. [Called from MediaWiki\Skin\Skin::buildSidebar in /var/www/html/w/includes/skins/Skin.php at line 1639] in /var/www/html/w/includes/debug/MWDebug.php on line 386
Program verification
From Wikipedia
Revision as of 01:21, 2 May 2006 by imported>Beland(Merge with and redirect to Formal verification)