scientific article
From MaRDI portal
Publication:2863830
zbMath1276.68053MaRDI QIDQ2863830
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050899?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
On using data abstractions for model checking refinements ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Alloy as a Refactoring Checker? ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ Model checking action system refinements
This page was built for publication:
