scientific article; zbMATH DE number 1104376
From MaRDI portal
Publication:4370251
zbMath0885.68094MaRDI QIDQ4370251
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication: