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
Automatic construction of systems of examples - MaRDI portal

Automatic construction of systems of examples

From MaRDI portal

Publication:1132568

Jump to:navigation, search

zbMath0419.68027MaRDI QIDQ1132568

Ya. Ya. Bichevskij

Publication date: 1977

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

zbMATH Keywords

correctness of programs testing of programs

Mathematics Subject Classification ID

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

This page was built for publication: Automatic construction of systems of examples

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