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
Correctness of decision tables - MaRDI portal

Correctness of decision tables

From MaRDI portal

Publication:1058843

Jump to:navigation, search

zbMath0565.68010MaRDI QIDQ1058843

A. P. Eremeev

Publication date: 1984

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

zbMATH Keywords

correctness of decision tables semantic correctness syntactic correctness

Mathematics Subject Classification ID

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

This page was built for publication: Correctness of decision tables

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