scientific article; zbMATH DE number 3894451

zbMath0561.68013MaRDI QIDQ5186714

Klaus P. Jantke

Publication date: 1984

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

zbMATH Keywords

data structuressemanticsalgebraic specification

Mathematics Subject Classification ID

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

This page was built for publication: