Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
The general interface theorem
End-to-end theorem and constructive tolerances › The general interface theorem · lines 1774–1778
The following statement remains useful for any independently certified transfer and implementation.