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
Rigorous Methods for Software Construction and Analysis - MaRDI portal

Rigorous Methods for Software Construction and Analysis (Q3400951)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Rigorous Methods for Software Construction and Analysis
scientific journal

    Statements

     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3400951&oldid=3729679"
      Powered by MediaWiki