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 605793 - MaRDI portal

scientific article; zbMATH DE number 605793

From MaRDI portal

Publication:4301154

Jump to:navigation, search

zbMath0814.68087MaRDI QIDQ4301154

Susan Eisenbach, Steven Vickers, Hessam Khoshnevisan, Krysia Broda

Publication date: 13 July 1994

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

zbMATH Keywords

natural deduction semantics functional programming specifications program verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

Teaching types with a cognitively effective worked example format

Uses Software

This page was built for publication:

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