scientific article

From MaRDI portal

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

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

Publication:3339264

Jump to:navigation, search

zbMath0547.68021MaRDI QIDQ3339264

Christian Gresse, Michel Bidoit, G. Guiho, Brigitte Biebow, Marie-Claude Gaudel

Publication date: 1984

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

zbMATH Keywords

program construction method PLUSS algebraic specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (3)

Structured algebraic specifications: A kernel language ⋮ Regularity of relations: A measure of uniformity ⋮ Algebraic specification of concurrent systems

This page was built for publication:

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