Full Text Available

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

A language to support verification of embedded software

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

Saved in:
Bibliographic Details
Main Author: Swart, Riaan
Other Authors: De Villiers, P. J. A.
Format: Thesis
Language:en_ZA
Published: Stellenbosch : Stellenbosch University 2012
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!