PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

Publication
NASA Formal Methods - Forth International Symposium, NFM 2012, Norfolk, VA USA, April 3-5, 2012. Proceedings

Related