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

Jump to:navigation, search

zbMath0439.68023MaRDI QIDQ3881899

Zohar Manna

Publication date: 1980

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

zbMATH Keywords

correctness production systems termination program verification synthesis of programs

Mathematics Subject Classification ID

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

Related Items (5)

An elementary and unified approach to program correctness ⋮ Unnamed Item ⋮ A ``geometric view of the dynamics of trajectories of computer programs ⋮ Extensions of arithmetic for proving termination of computations ⋮ Random Ordering of Semiprimes

This page was built for publication:

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