Credible autocoding of control software

Timothy Wang. Credible autocoding of control software. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2015. [doi]

Abstract

Abstract is missing.