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 1832224 - MaRDI portal

scientific article; zbMATH DE number 1832224

From MaRDI portal

Publication:4778702

Jump to:navigation, search

zbMath0997.68562MaRDI QIDQ4778702

K. Rustan M. Leino

Publication date: 19 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260185

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01)

Related Items (1)

Verification conditions for source-level imperative programs

This page was built for publication:

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