scientific article
From MaRDI portal
Publication:2863872
zbMath1276.03026MaRDI QIDQ2863872
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000351?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items