scientific article
From MaRDI portal
Publication:2729081
zbMath0971.68630MaRDI QIDQ2729081
Ramesh Bharadwaj, Steven T. Sims
Publication date: 4 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Model-based construction and verification of critical systems using composition and partial refinement ⋮ Salsa
Uses Software
This page was built for publication:
