Вы здесь
Brucker A. D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Semantics, calculi, and analysis for object-oriented specifications | 2009 | Brucker A. D., Wolf B. | Acta Informatica | 11.08.2009 | |||
| СТ | Symbolic Test Case Generation for Primitive Recursive Functions | 2005 | Brucker A. D., Wolff B. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 | ||
| СТ | HOL-OCL: Experiences, Consequences and Design Choices | 2002 | Brucker A. D., Wolff B. | Lecture Notes in Computer Science | 30.10.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Tests and Proofs: Proc./6th International Conference, TAP 2012, Prague, Czech Republic, May 2012 | 2012 | Lecture Notes in Computer Science |
|
20.06.2012 |