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
Table approach to automatic program synthesis - MaRDI portal

Table approach to automatic program synthesis

From MaRDI portal

Publication:1170023

Jump to:navigation, search

zbMath0496.68014MaRDI QIDQ1170023

A. A. Menn, N. N. Nepejvoda, A. I. Kaz'min

Publication date: 1982

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

synchronization computation control problems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Table approach to automatic program synthesis

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