Using formal methods eliminates the need to write natural langua

Using formal methods eliminates the need to write natural language commentary in the specification document. ~@[](1)

答案：FALSE