scientific article
From MaRDI portal
Publication:2754051
zbMath0974.68033MaRDI QIDQ2754051
Publication date: 11 November 2001
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 (5)
Towards verification of C\(\#\) programs: a three-level approach ⋮ Characteristic formulae for liveness properties of non-terminating CakeML programs ⋮ Verified software units ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++ ⋮ Coalgebras and monads in the semantics of Java
Uses Software
This page was built for publication:
