Transformational Program Development Using CIPS

Erstveröffentlichung
1994
Authors
Vullinghs, Ton
Editor
Buth, B.
Berghammer, R.
Beitrag zu einer Konferenz


Published in
Systems for Computer-Aided Specification, Development and Verification. - Kiel : Universität Kiel, 1994
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Conference
Systems for Computer-Aided Specification, Development and Verification, Workshop, 1994-07-04 - 1994-07-05, Kiel
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record