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

scientific article; zbMATH DE number 483965

From MaRDI portal

Publication:4275030

Jump to:navigation, search

zbMath0783.68019MaRDI QIDQ4275030

Darrel C. Ince

Publication date: 13 January 1994

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

zbMATH Keywords

discrete mathematics data refinement requirements analysis formal methods of software development systems specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

This page was built for publication:

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