scientific article; zbMATH DE number 683361
From MaRDI portal
Publication:4312482
zbMath0813.68132MaRDI QIDQ4312482
Andrzej Tarlecki, Donald Sannella, Stefan Kahrs
Publication date: 29 November 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Essential concepts of algebraic specification and program development ⋮ The definition of Extended ML: A gentle introduction ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic
This page was built for publication:
