Keywords:
Computer science
;
Logic design
;
Software engineering
;
Computer Science
;
Konferenzschrift 1990
;
VDM
;
Z
;
VDM
Type of Medium:
Online Resource
Pages:
Online-Ressource
ISBN:
9783540470069
Series Statement:
Lecture Notes in Computer Science 428
URL:
https://doi.org/10.1007/3-540-52513-0
URL:
https://zbmath.org/?q=an:0746.68006
DOI:
10.1007/3-540-52513-0
Language:
English