scientific article; zbMATH DE number 1104396
From MaRDI portal
Publication:4370282
zbMath0885.68045MaRDI QIDQ4370282
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: