A Survey on Embedding Programming Logics in a Theorem Prover

A. Azurat, I.S.W.B. Prasetya

Research output: Book/Report › Report › Academic

Original languageUndefined/Unknown
Place of PublicationUtrecht, The Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume2002-007
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 2002

Access to Document

Cite this