scientific article; zbMATH DE number 1759364
From MaRDI portal
Publication:4536311
zbMath0999.68586MaRDI QIDQ4536311
Bill Frantz, Mark S. Miller, Chip Morningstar
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Holistic Specifications for Robust Programs ⋮ Trust management for \(e\)-transactions ⋮ Lightweight Static Capabilities
This page was built for publication: