scientific article; zbMATH DE number 1754637
From MaRDI portal
Publication:4535065
zbMath0986.68057MaRDI QIDQ4535065
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760821
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Preserving Contract Satisfiability Under Non-monotonic Composition ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems
This page was built for publication:
