scientific article; zbMATH DE number 3614137

From MaRDI portal

Publication:4178451

Jump to:navigation, search

zbMath0395.68005MaRDI QIDQ4178451

No author found.

Publication date: 1978

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

zbMATH Keywords

Formal Derivation of Programs Guarded Commands Nondeterminacy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (2)

Applying abstraction and formal specification in numerical software design ⋮ Linear logic automata

This page was built for publication:

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