scientific article
From MaRDI portal
Publication:4023833
zbMath0779.68004MaRDI QIDQ4023833
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items (3)
Modelling of Complex Software Systems: A Reasoned Overview ⋮ A calculus for schemas in Z ⋮ A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
This page was built for publication: