A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts

C. Pierik, F.S. de Boer

Research output: Book/Report › Report › Academic

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

Access to Document

    Cite this