Вы здесь
Van Den Berg J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Type-Theoretic Memory Model for Verification of Sequential Java Programs | 2000 | Van Den Berg J., Huisman M., Jacobs B., Poll E. | Lecture Notes in Computer Science | 13.10.2000 | |||
| СТ | Reasoning about Java Classes | 1998 | Jacobs B., Van Den Berg J., Huisman M., Van Berkum M. | SIGPLAN Notices | 23.04.1999 |