scientific article; zbMATH DE number 1949583
From MaRDI portal
Publication:4412473
zbMath1015.68819MaRDI QIDQ4412473
Arthur Hughes, J. C. P. Woodcock
Publication date: 15 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2495/24950024.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Semantics of dynamic hiding in mobile UTP-CSP ⋮ UTP Semantics of Reactive Processes with Continuations ⋮ UTPCalc — A Calculator for UTP Predicates
This page was built for publication:
