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
Formal Methods for Components and Objects - MaRDI portal

Formal Methods for Components and Objects

From MaRDI portal

Publication:5311292

Jump to:navigation, search

DOI10.1007/B100112zbMath1104.68423OpenAlexW2604845086MaRDI QIDQ5311292

Jan J. M. M. Rutten

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100112

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

An implicit function theorem for the stream calculus

This page was built for publication: Formal Methods for Components and Objects

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