APA (7th ed.) Citation
Grobler, L. D., & De Villiers, P. J. A. (2006). A kernel to support computer-aided verification of embedded software. Stellenbosch : University of Stellenbosch.
Chicago Style (17th ed.) Citation
Grobler, Leon D., and P. J. A. De Villiers. A Kernel to Support Computer-aided Verification of Embedded Software. Stellenbosch : University of Stellenbosch, 2006.
MLA (9th ed.) Citation
Grobler, Leon D., and P. J. A. De Villiers. A Kernel to Support Computer-aided Verification of Embedded Software. Stellenbosch : University of Stellenbosch, 2006.
Warning: These citations may not always be 100% accurate.