NASA Langley’s Research and Technology-Transfer Program in Formal Methods
Thomson Research Fronts 2013