论文信息 - The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods - 字舞流文

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods

Egon Börger | Hans Langmaack | Jean-Raymond Abrial | J. Abrial | E. Börger | H. Langmaack

[1] Dan Craigen,et al. An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.