A survey of proof systems for CSP
Date
1987
Authors
Van Zijl, Lynette
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
Description
Thesis (M.Sc.) -- University of Stellenbosch, 1987.
Full text to be digitised and attached to bibliographic record.
Full text to be digitised and attached to bibliographic record.
Keywords
Programming languages (Electronic computers), Computer programs -- Verification, Dissertations -- Computer science