scientific article; zbMATH DE number 3628340
From MaRDI portal
Publication:4190089
zbMath0404.68004MaRDI QIDQ4190089
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
