scientific article
From MaRDI portal
Publication:2763635
zbMath0977.68526MaRDI QIDQ2763635
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2024/20240123
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Efficient Symbolic Representations for Arithmetic Constraints in Verification
This page was built for publication:
