scientific article; zbMATH DE number 683351
From MaRDI portal
Publication:4312472
zbMath0941.68633MaRDI QIDQ4312472
Publication date: 29 July 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)
Related Items (4)
Some remarks on the computation of complements and normalizers in soluble groups ⋮ Large deviation analysis of the single server queue ⋮ The groups of order 128 ⋮ A calculus for schemas in Z
This page was built for publication:
