scientific article
From MaRDI portal
Publication:2771757
zbMath0980.68685MaRDI QIDQ2771757
Erik Poll, Joachim van den Berg, Bart Jacobs
Publication date: 18 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2041/20410137
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)
Related Items (4)
Weakest pre-condition reasoning for Java programs with JML annotations ⋮ Source code verification of a secure payment applet ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Coalgebras and monads in the semantics of Java
Uses Software
This page was built for publication:
