scientific article

From MaRDI portal

Publication:3960110

Jump to:navigation, search

zbMath0496.68016MaRDI QIDQ3960110

Jacek Leszczylowski, Martin Wirsing

Publication date: 1982

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

zbMATH Keywords

algebraic specification abstract data type structural induction domain equation

Mathematics Subject Classification ID

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

Related Items (1)

Structured algebraic specifications: A kernel language

This page was built for publication:

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