scientific article
From MaRDI portal
Publication:2729054
zbMath0971.68590MaRDI QIDQ2729054
Anders Møller, Jacob Elgaard, Michael I. Schwartzbach
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Automatic Verification of Bossa Scheduler Properties ⋮ Juggrnaut: using graph grammars for abstracting unbounded heap structures
Uses Software
This page was built for publication:
