Publication:4518886
From MaRDI portal
zbMath0960.68041MaRDI QIDQ4518886
Publication date: 3 December 2000
68P05: Data structures
Related Items
Deciding inclusion of set constants over infinite non-strict data structures, Type inference and strong static type checking for Promela