scientific article; zbMATH DE number 2090132
From MaRDI portal
Publication:4808824
zbMath1064.68543MaRDI QIDQ4808824
David von Oheimb, Tobias Nipkow
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2391/23910089.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Specification and verification challenges for sequential object-oriented programs ⋮ Semantics, calculi, and analysis for object-oriented specifications ⋮ Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ Towards verification of C\(\#\) programs: a three-level approach ⋮ Lightweight Separation ⋮ An assertion-based proof system for multithreaded Java ⋮ Lazy behavioral subtyping ⋮ Fifty years of Hoare's logic ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++ ⋮ Graph-Based Object-Oriented Hoare Logic
Uses Software
This page was built for publication:
