scientific article; zbMATH DE number 1104401
From MaRDI portal
Publication:4370287
zbMath0885.68106MaRDI QIDQ4370287
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
This page was built for publication: