scientific article

From MaRDI portal

Publication:3730005

Jump to:navigation, search

zbMath0596.68027MaRDI QIDQ3730005

Klaus P. Jantke

Publication date: 1986

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

zbMATH Keywords

algebraic semantics inductive inference abstract data type software design systems

Mathematics Subject Classification ID

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

This page was built for publication:

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