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
Program derivation using the refinement calculator - MaRDI portal

Program derivation using the refinement calculator

From MaRDI portal

Publication:6567706

Jump to:navigation, search

DOI10.1007/bfb0105399zbMath1543.68415MaRDI QIDQ6567706

T. Långbacka, Michael J. Butler

Publication date: 5 July 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Program derivation using the refinement calculator

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