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
Problem-oriented approach to verification of file-processing programs - MaRDI portal

Problem-oriented approach to verification of file-processing programs

From MaRDI portal

Publication:1183788

Jump to:navigation, search

zbMath0739.68062MaRDI QIDQ1183788

V. A. Nepomnyashchij

Publication date: 28 June 1992

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

zbMATH Keywords

program verification

Mathematics Subject Classification ID

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

This page was built for publication: Problem-oriented approach to verification of file-processing programs

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