scientific article

zbMath0987.68891MaRDI QIDQ2764140

Jan Jürjens

Publication date: 22 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stepwise refinement

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)

Related Items

Formally sound implementations of security protocols with JavaSPI, Preservation of probabilistic information flow under refinement, Bisimulation for Demonic Schedulers, Abstractions Preserving Parameter Confidentiality