unifying theories of programming

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