scientific article
From MaRDI portal
Publication:2722012
zbMath0966.68554MaRDI QIDQ2722012
Erik Poll, Joachim van den Berg, Bart Jacobs, Marieke Huisman
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Weakest pre-condition reasoning for Java programs with JML annotations ⋮ The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML ⋮ Coalgebras and monads in the semantics of Java
Uses Software
This page was built for publication:
