scientific article; zbMATH DE number 1231619
From MaRDI portal
Publication:4222942
zbMath0925.68140MaRDI QIDQ4222942
Georges Gonthier, Martín Abadi, Cédric Fournet
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
This page was built for publication:
