Modular Algebraic Specifications and Transformational Program Development

Authors
Supervisors
Publication date 1994
Number of pages 159
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Note Research conducted at: KUN
Permalink to this page
Back