Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 3560698 - MaRDI portal

scientific article; zbMATH DE number 3560698

From MaRDI portal

Publication:4131610

Jump to:navigation, search

zbMath0359.68011MaRDI QIDQ4131610

Derek C. Oppen, Stephen A. Cook

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Program logic and equivalence in the presence of garbage collection., A mechanical analysis of program verification strategies

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4131610&oldid=17922084"