| Title | Checking Object System Designs Incrementally |
| Publication Type | Journal Article |
| Year of Publication | 2003 |
| Public | no |
| Authors | Ehrich, H. - D., M. Kollmann, and R. Pinger |
| Journal | Journal of Universal Computer Science |
| Volume | 9 |
| Issue | 2 |
| Pagination | 106-119 |
| Date Published | February |
| Abstract | no |