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
FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols - MaRDI portal

FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols

From MaRDI portal

Publication:1819248

Jump to:navigation, search

zbMath0929.00076MaRDI QIDQ1819248

No author found.

Publication date: 6 January 2000

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

zbMATH Keywords

Congress Proceedings Computing Toulouse (France)Formal methods FM '99

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Twenty years of rewriting logic

This page was built for publication: FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols

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