formal methods

A Brief History of Formal Methods in China
The development of formal methods (FM) in China dates back to the early 1950s, when several logicians shifted their research focus from …
Cite
A Brief History of Formal Methods in China