Вы здесь
Lutz R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Experiences Using Lightweight Formal Methods for Requirements Modeling | 1998 | Easterbrook S., Lutz R., Kelly J., Ampo Y., Hamilton D. | IEEE Trans. on Software Engineering | 29.05.1998 | |||
| СТ | Towards a Plan Calculus Based Intelligent Debugging System | 1993 | Lutz R. | Lecture Notes in Computer Science | 09.12.1993 |