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

scientific article; zbMATH DE number 3448068

From MaRDI portal

Publication:4772697

Jump to:navigation, search

zbMath0285.68009MaRDI QIDQ4772697

C. A. R. Hoare

Publication date: 1974

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (3)

Fifty years of Hoare's logic ⋮ The clean termination of Pascal programs ⋮ Semantics of interference control

This page was built for publication:

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