Towards an environment for the verification of annotated object-oriented programs

F.S. de Boer, C. Pierik

Research output: Book/Report › Report › Academic

Original languageUndefined/Unknown
Place of PublicationUtrecht, the Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume2003-002
EditionUU-CS
Publication statusPublished - 2003

Access to Document

    Cite this