5th Refinement Workshop
Jones, Cliff B. / Denvir, Tim / Shaw, Roger C.![5th Refinement Workshop](https://support.digitalhusky.com/media/annotations/sorted/152/15210690/CHSBZCOP0315210690.jpg)
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume conta...