scientific article
From MaRDI portal
Publication:2849557
zbMath1272.03138MaRDI QIDQ2849557
Antonio Durante, Sandro Etalle, Ricardo Corin, Pieter Hartel
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053289
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
