Вы здесь

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