|
|||||
|
|
Specification by interface separation |
|
| Authors: | I J Hayes J W Sanders |
| Affiliation: | (1) Department of Computer Science, University of Queensland, Brisbane, Australia;(2) Programming Research Group, OUCL, Oxford, UK;(3) Department of Computer Science, University of Queensland, 4072 Brisbane, Australia |
| Abstract: | |
| Keywords: | Formal specification Specification language Z |
| 本文献已被 SpringerLink 等数据库收录！ | |