scientific article
From MaRDI portal
Publication:2723406
zbMath0963.68184MaRDI QIDQ2723406
Andrew W. Appel, Neophytos Michael
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Safe functional systems through integrity types and verified assembly ⋮ Efficient Substitution in Hoare Logic Expressions
Uses Software
This page was built for publication:
