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
Analysis of programs and binary relations - MaRDI portal

Analysis of programs and binary relations

From MaRDI portal

Publication:3334055

Jump to:navigation, search

DOI10.1016/S0041-5553(83)80057-3zbMath0544.68014MaRDI QIDQ3334055

Sergey A. Abramov

Publication date: 1983

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

binary relation analysis of programs

Mathematics Subject Classification ID

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

This page was built for publication: Analysis of programs and binary relations

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