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
Static Analysis - MaRDI portal

Static Analysis

From MaRDI portal

Publication:5897423

Jump to:navigation, search

DOI10.1007/11547662zbMath1141.68444OpenAlexW4229853237MaRDI QIDQ5897423

Samson Abramsky

Publication date: 31 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11547662

Mathematics Subject Classification ID

Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Static Analysis

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