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
Compilation of structural programs in a dialogue mode with concurrent test generation - MaRDI portal

Compilation of structural programs in a dialogue mode with concurrent test generation

From MaRDI portal

Publication:1137860

Jump to:navigation, search

zbMath0429.68027MaRDI QIDQ1137860

V. S. Shchepin, P. A. Pravil'shchikov

Publication date: 1979

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

program design compilation of structural programs concurrent test generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Compilation of structural programs in a dialogue mode with concurrent test generation

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