Publication:4312482
From MaRDI portal
zbMath0813.68132MaRDI QIDQ4312482
Donald Sannella, Andrzej Tarlecki, Stefan Kahrs
Publication date: 29 November 1994
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Essential concepts of algebraic specification and program development, The definition of Extended ML: A gentle introduction