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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3947092

Jump to:navigation, search

zbMath0486.68005MaRDI QIDQ3947092

No author found.

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

specification languages software engineering program verification abstract data types symbolic execution data flow analysis program testing program reliability graph theoretical methods in computer science program transformation and optimization

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Conference proceedings and collections of articles (00Bxx)

Related Items (1)

Why Horn formulas matter in computer science: initial structures and generic examples

This page was built for publication:

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