Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...
Operating Margin -- 2%, down compared to last year due to lower FAS/CAS pension adjustment, partially offset by improved ...