[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Types, subtypes, and ASL+
Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小1004.66KB
- 发表时间1995
- DOI10.1007/BFb0014424
- 页码116-131