scientific article

zbMath0514.68011MaRDI QIDQ3660885

Bettina Brass, R. Steinbrüggen, H.-O. Riethmayer, Armin Horsch, F. Erhard

Publication date: 1982

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

Mathematics Subject Classification ID

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

Related Items

Structured algebraic specifications: A kernel language