scientific article

From MaRDI portal

Revision as of 14:33, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2771739

Jump to:navigation, search

zbMath0980.68525MaRDI QIDQ2771739

Bernhard Beckert

Publication date: 18 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2041/20410006

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items (8)

An exercise on the generation of many-valued dynamic logics ⋮ The rewriting logic semantics project ⋮ Verification conditions for source-level imperative programs ⋮ Integration of a security type system into a program logic ⋮ A program logic for resources ⋮ Verification by Parallelization of Parametric Code ⋮ Could We Have Chosen a Better Loop Invariant or Method Contract? ⋮ Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

This page was built for publication:

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