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
An Approach to Concurrent Control Flow Checking - MaRDI portal

An Approach to Concurrent Control Flow Checking

From MaRDI portal

Publication:3870297

Jump to:navigation, search

DOI10.1109/TSE.1980.234478zbMath0432.68026MaRDI QIDQ3870297

Fu-Chung Chen, Stephen S. Yau

Publication date: 1980

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

program design specification errors concurrent control flow checking software coding errors

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Related Items (1)

Fault Tolerant External Memory Algorithms

This page was built for publication: An Approach to Concurrent Control Flow Checking

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