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

  • F.S. de Boer
  • , C. Pierik

Research output: Book/ReportReportAcademic

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

Cite this