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

scientific article

From MaRDI portal

Publication:3314968

Jump to:navigation, search

zbMATH Open0532.68026MaRDI QIDQ3314968

Joseph M. Morris

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

arrays Hoare logic weakest preconditions pointers assignment axiom Program Correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3314968)

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