scientific article; zbMATH DE number 1104384
From MaRDI portal
Publication:4370265
zbMath0886.68124MaRDI QIDQ4370265
No author found.
Publication date: 2 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology ⋮ Mechanised support for sound refinement tactics ⋮ A tactic language for refinement of state-rich concurrent specifications
Uses Software
This page was built for publication:
