Access Repository

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

A model checker for the LF system

Thesis (MSc)--University of Stellenbosch, 2007.

Saved in:

Bibliographic Details
Main Author:	Gerber, Erick D. B.
Other Authors:	Geldenhuys, J.
Format:	Thesis
Language:	en_ZA
Published:	Stellenbosch : Stellenbosch University 2012
Subjects:	Computer programs > Verification Computer software > Verification Computer software > Reliability Computer simulation Programming languages (Electronic computers) Theses > Computer science Dissertations > Computer science
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

http://hdl.handle.net/10019.1/19597