scientific article
From MaRDI portal
zbMath0971.68585MaRDI QIDQ2729071
Arnd Poetzsch-Heffter, Jörg Meyer
Publication date: 4 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Weakest pre-condition reasoning for Java programs with JML annotations, Are the logical foundations of verifying compiler prototypes matching user expectations?, An extensible encoding of object-oriented data models in HOL. With an application to IMP++
Uses Software
