Full Text Available

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

A kernel to support computer-aided verification of embedded software

Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006.

Saved in:
Main Author: Grobler, Leon D.
Other Authors: De Villiers, P. J. A.
Format: Thesis
Published: Stellenbosch : University of Stellenbosch 2006
Subjects:
Theses > Mathematics
Dissertations > Computer science
Dissertations > Mathematics
Theses > Computer science
Computer software > Verification
Computer programs > Validation
Tags: Add Tag
No Tags, Be the first to tag this record!
Summary:Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2006.

Similar Items