scientific article; zbMATH DE number 1538031
From MaRDI portal
Publication:4518886
zbMath0960.68041MaRDI QIDQ4518886
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Type inference and strong static type checking for Promela ⋮ Deciding inclusion of set constants over infinite non-strict data structures
This page was built for publication: