Вы здесь
Dhara K. K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Forcing Behavioral Subtyping through Specification Inheritance | 1996 | Dhara K. K., Leavens G. T. | Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 | 19.06.1996 | |||
| П | Forcing Behavioral Subtyping Through Specification Inheritance | 1995 | Dhara K. K., Leavens G. T. | 03.11.1995 |