scientific article; zbMATH DE number 1231497
From MaRDI portal
Publication:4222807
zbMATH Open0910.68139MaRDI QIDQ4222807
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#kreowski
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (6)
Using programmed graph rewriting for the formal specification of a configuration management system ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems). ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222807)
