scientific article
From MaRDI portal
Publication:3956380
zbMath0493.68023MaRDI QIDQ3956380
Bernd Mahr, Johann A. Makowsky
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
