.gif)
An Elementary Logic for Object Specification and Verification
| Title | An Elementary Logic for Object Specification and Verification |
| Publication Type | Conference Proceedings |
| Year of Conference | 1994 |
| Authors | Conrad, S., and H. - D. Ehrich |
| Conference Name | Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing |
| Pagination | 197-206 |
| Publisher | Technical Report Univ1 Hannover, No1 03/94 |
| Abstract | no |
| Public | no |