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
Introduction to the special collection from iFM 2022 - MaRDI portal

Introduction to the special collection from iFM 2022

From MaRDI portal

Publication:6611955

Jump to:navigation, search

DOI10.1145/3622995MaRDI QIDQ6611955

Maurice H. ter Beek, Rosemary Monahan

Publication date: 27 September 2024

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

synthesis theorem proving static analysis integrated formal methods

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Computer science (68-XX)

This page was built for publication: Introduction to the special collection from iFM 2022

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