Proving the correctness of program transformations in higher order logic

Thumbnail Image

Date

1994

Authors

Roxas, Rachel Edita Onate

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/1885/138517

Collections

Open Access Theses

Source

Type

Thesis (PhD)

Book Title

Entity type

Access Statement

License Rights

DOI

10.25911/5d6e4dbc186b8

Restricted until

Downloads

File
Description
b18941813_Roxas_Rachel_Edita_Onate.pdf (269.76 MB)

DSpace software copyright © 2002-2026 LYRASIS