Gerber, E. D. B., & Geldenhuys, J. (2012). A model checker for the LF system. Stellenbosch : Stellenbosch University.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Gerber, Erick D. B., and J. Geldenhuys. A Model Checker for the LF System. Stellenbosch : Stellenbosch University, 2012.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Gerber, Erick D. B., and J. Geldenhuys. A Model Checker for the LF System. Stellenbosch : Stellenbosch University, 2012.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.