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; zbMATH DE number 2013578 - MaRDI portal

scientific article; zbMATH DE number 2013578

From MaRDI portal

Publication:4436962

Jump to:navigation, search

zbMath1028.68761MaRDI QIDQ4436962

Stefan Hallerstede

Publication date: 4 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510101.htm

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (2)

On the Purpose of Event-B Proof Obligations ⋮ On the purpose of Event-B proof obligations

This page was built for publication:

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