Proceedings of the workshop on automated theorem proving in software engineering.
Saved in:
| 格式: | 图书 |
|---|---|
| 语言: | English |
| 出版: |
[Townsville, Qld. :
North Queensland Conference Management,
1997]
|
| 丛编: | CADE-14.
|
| 主题: |