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

scientific article; zbMATH DE number 3633677

From MaRDI portal

Publication:4194417

Jump to:navigation, search

zbMath0407.68012MaRDI QIDQ4194417

Andrzej Blikle

Publication date: 1978

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

zbMATH Keywords

Programs Specified Programming Total Correctness

Mathematics Subject Classification ID

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

Related Items (2)

Generalised rely-guarantee concurrency: an algebraic foundation ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

This page was built for publication:

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