Вы здесь

Lovengreen H. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Combining Temporal Specification Techniques 1994 Sorensen M. U., Hansen O. E., Lovengreen H. H. Lecture Notes in Artificial Intelligence 11.08.1994
СТ A Systematic Kernel Development 1991 Sogaard-Andersen J. F., Rump C. O., Lovengreen H. H. Software Engineering Notes 03.04.1992