scientific article; zbMATH DE number 824213
From MaRDI portal
Publication:4857803
zbMath0875.68629MaRDI QIDQ4857803
Publication date: 10 December 1995
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) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (1)
This page was built for publication: