scientific article
From MaRDI portal
Publication:2764133
zbMath0977.68858MaRDI QIDQ2764133
Bernhard Reus, Rolf Hennicker, Martin Wirsing
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290300
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)
Related Items (5)
Towards verification of C\(\#\) programs: a three-level approach ⋮ Semantics and logic of object calculi ⋮ An assertion-based proof system for multithreaded Java ⋮ A Homage to Martin Wirsing ⋮ Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
This page was built for publication:
