Multi-Level Specifications

Authors
  • E. Visser
Publication date 1996
Host editors
  • J. Heering
  • P. Klint
  • A. van Deursen
Book title Language Prototyping. An Algebraic Specification Approach
Series AMAST Series in Computing, 5
Pages (from-to) 105-196
Publisher Singapore: World Scientific
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back