scientific article; zbMATH DE number 1303987
From MaRDI portal
Publication:4250655
zbMath0924.68130MaRDI QIDQ4250655
Publication date: 2 November 1999
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