scientific article
From MaRDI portal
Publication:3707396
zbMATH Open0584.68047MaRDI QIDQ3707396
Claus-Werner Lermen, Jacques Loeckx
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationsspecification languageprogram verificationsoftware engineering methodologyOBSCURE language
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (1)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707396)
