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:3877020

Jump to:navigation, search

zbMath0436.68008MaRDI QIDQ3877020

Pedro Guerreiro

Publication date: 1980

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

zbMATH Keywords

non-deterministic programs total correctness predicate transformer

Mathematics Subject Classification ID

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

Related Items

Predicate transformers as power operations, Towards reasoning about Hoare relations, A unified approach for studying the properties of transition systems

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