Inheritance of proofs
Hofmann, Martin; Naraschewski, Wolfgang; Steffen, Martin; Stroup, Terry
- 期刊名称Theory and Practice of Object Systems
- 作者Hofmann, Martin; Naraschewski, Wolfgang; Steffen, Martin; Stroup, Terry
- 卷第4卷
- 期第1期
- 印刷ISSN1074-3227
- 电子ISSN1096-9942
- 文件大小175.67KB
- 发表时间1998
- DOI10.1002/(sici)1096-9942(1998)4:1<51::aid-tapo4>3.0.co;2-a
- 页码51-69