O.F. · O T · T. F. · W F · W. T.
Workshop on the Assessment of Formal Methods for Trustworthy Computer